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」频道最新
- AI 应用计费管线实战:六大计量清单,一份数据同时服务产品财务运维 — blaizedsouza · 2026-09-11
- 用户睡前下达任务,Astra 自主连续干活超 17 小时写 App — LinusEkenstam · 2026-09-11
- GPT-6 Astra 文档引热议:异步工具调用与中途转向或成 Agent 编排利器 — MikkoH · 2026-09-11
- SlopCodeBench:LLM 代码正确却难看,如何量化代码烂度 — mitsuhiko · 2026-09-11
- Agent 工程实战:用 Inbox 去重避免 webhook 重试导致重复执行 — blaizedsouza · 2026-09-11
- 微软论文:给 Agent 记忆管理器加只读校验工具,Copilot 通过率 39%→73% — dair_ai · 2026-09-11