MathKernel：让LLM数学计算有据可查

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

大语言模型擅长理解数学意图，却在算术计算上频频出错。MathKernel 作为一个证据感知的多引擎数学内核，旨在扭转这一局面。它将 LLM 的角色限定为解析意图与规划，而将精确计算、符号推导及形式化验证交给内核处理。无论是作为 Python 库还是 MCP 服务器，MathKernel 都能为每一次计算结果打上明确的信任标签，并记录完整的推导路径。从精确算术到形式化证明，它确保近似输入的祖先信息不会无声消失，让数学结果不再是黑盒，而是拥有可追溯证据的可靠结论。