MathKernel：给大模型配一个会自证清白的数学内核

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

Staatsgeheim 开源了一个叫 MathKernel 的数学内核，专门解决大模型算不准数学题的问题。它同时跑五套引擎——符号计算、精确有理数、形式化验证、带误差区间的数值计算和普通数值计算——每算一次都附上“信任标签”和完整的计算溯源，告诉你结果是怎么来的、靠不靠谱。项目直接做成 MCP 服务器，可以插到 Claude Desktop 这类客户...

推荐理由：五引擎并行加信任标签的设计有想法，MCP 形态让接入成本很低，对做 agent 工具链的开发者是个实在东西。不过目前是个人开源项目，正文没给出任何基准测试数据，效果到底怎么样还不好说，这点先别太激动。