math-agent-framework-dsh-plugin
数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库并 `pip install -r requirements.txt`，将 MATH_AGENT_HOME 指向仓库根目录。所有结果携带 provenance（引擎版本/seed/容差）并标记为不可信数据。
安装
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin
需要可复现安装时，可在仓库后追加 #commit 固定提交。
数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库并 `pip install -r requirements.txt`，将 MATH_AGENT_HOME 指向仓库根目录。所有结果携带 provenance（引擎版本/seed/容差）并标记为不可信数据。
该插件未提供要点说明，请参考仓库 README。
- 安装并启动 DeepSeek Harness：
npx @deepseek-ai/dsh web - 在终端执行上面的安装命令（CLI 会解析插件并核验来源）
- 用 dsh plugins list 确认已安装，必要时重启 Harness 生效
插件以当前 dsh 进程的权限运行，安装时可能执行代码。请先通读仓库源码与许可证，确认无破坏性命令与越权访问；本站只做索引，不对第三方插件安全性作担保。
| 代码仓库 | github.com/symmetryseeker/math-agent-framework#dsh-plugin |
| 许可证 | 未标注（见仓库） |
| 主要语言 | — |
| 下载量 | 4 |
| GitHub 星标 | 5 |
| 最近推送 | — |
| 收录日期 | 2026-08-28 |
| 分类 | 技能 |
事实信息来自公开插件目录快照（2026-09-16），介绍文案由本站再加工。
数据来源：公开的 DeepSeek Harness 插件目录与各插件 GitHub 仓库。本站为独立第三方目录，与 DeepSeek、幻方（High-Flyer）及插件作者均无隶属或背书关系。
