SymKit MCP:44 个工具让 AI 智能体做可验证的符号推导
Foreign-Specific-604 · reddit · 2026-09-11
SymKit MCP 是一个把 SymPy 计算代数后端封装成 44 个工具的 MCP 服务器，供 agent 在物理、工程、化学、生物、经济领域推导、检验并记录公式。
- 推导：单一 math() 工具覆盖 32 种符号运算（化简、求解、微分、积分、级数、极限），输入支持 SymPy 字符串、自然等式、莱布尼茨记号、Unicode/希腊字母或 LaTeX；YAML 公式库提供搜索与排序建议，agent 可从已知结果出发而非瞎猜。
- 验证而非自信：每个步骤都被重新符号推导，残差必须归零（精确或数值容差内）；定积分用数值求积独立交叉验证；逐步与全链路都验证，坏步骤无法藏在正确的最终答案后面。
- 假设一级公民：四级（全局/领域/会话/步骤）假设引擎追踪符号属性，暴露合并视图并标记矛盾，避免 f(x) 被静默读成 fx。
- 会话与回溯：推导带完整出处持久化到磁盘，含目标、笔记、每步风险与建议下一步；可恢复旧会话或 sessionrollback 截断链条另探分支。
- 输出：可导出 Python 函数、SymPy 脚本、LaTeX 推导或完整报告。
「编程与Agent」频道最新
- 拆解两款真实「公司大脑」：Slite 与 Gorgias 同台对比构建之道 — femke_plantinga · 2026-09-11
- 浏览器主线程很贵:动画卡顿的真正成本与前端优化实践 — jh3yy · 2026-09-11
- 开源工具 Claude Unlimited：多账号轮换让 Claude Code 会话不断线 — Similar_Injury_6739 · 2026-09-11
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11