技能包DeepSeek Harness 插件

math-agent-framework#dsh-plugin

Name: math-agent-framework#dsh-plugin
Author: symmetryseeker

数学 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/容差）并标记为不可信数据。

GitHub 星标: 5
收录日期: 2026-08-28

GitHub 信息

GitHub 星标: 5
主要语言: Python
最近推送: 2026年8月23日 17:28
维护者: symmetryseeker
收录日期: 2026-08-28

安装

安装命令

dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin

README 徽章

将这段 Markdown 添加到插件 README，链接到对应的详情页。

Listed onDSH Get

[![Listed on DSH Get](https://img.shields.io/badge/Listed_on-DSH_Get-1677ff?style=flat-square)](https://dshget.com/plugins/symmetryseeker/math-agent-framework%23dsh-plugin)