开源 MathKernel MCP：160+ 数学工具给结果打信任标签，拒绝伪装证明
Staatsgeheim_ · reddit · 2026-09-07
作者发布开源 MCP 服务器 MathKernel（stdio、FastMCP 3），在 Python 数学内核前为模型提供 160+ 个 math 工具，核心设计是：模型可以解析和规划，但不能把符号计算结果「洗白」成证明。
要点：
- 工作流：mathcapabilities 发现能力 → 解析 ASCII/LaTeX 得 exprid → solve/化简/微分/积分/矩阵/量词消去/证明
- 每个结果带 evidencebundle、semanticstatus 与保守信任摘要：formal / exact / symbolic / intervalcertified / numeric
- 小数输入的信任度封顶为 numeric；近似输入会拒绝出具 formal 证书
- 区分 doesnotexist、undefined、infeasible、unsupported、unknown 等不同结果
- 长任务走 mathjobsubmit / status / result
- 附带 Koopman、GF(2^m) 精确有限动力学及不可提升信任标签的可视化/音频化产物
Python 3.11+，MIT 协议，pip install 'mathkernel[mcp]' 即装。作者明确表示这不是「Claude 会数学了」——多数微积分仍是符号引擎证据，Lean 支持可选且零散。
「编程与Agent」频道最新
- 开发者用 Astra 把《辛普森飞车》PS2 版移植成 three.js 网页版 — CtrlAltDwayne · 2026-09-07
- 别只待在编码工厂里：想做出好产品就要多用你造的产品 — ayushtweetshere · 2026-09-07
- 从 Prompt 到 Agent 系统:循环与图编排完整指南 — goyalshaliniuk · 2026-09-07
- Astra 被赞智能使用子智能体，搭配 Sol 并行任务成强力模式 — max_paperclips · 2026-09-07
- Pinokio 新版一键去重，AI 应用可省数 TB 磁盘空间 — cocktailpeanut · 2026-09-07
- WanGP 集成 Viggle-Animate：本地 3 步完成视频角色替换 — cocktailpeanut · 2026-09-07