插件目录 / symmetryseeker
symmetryseeker/math-agent-framework--dsh-plugin
数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库…
安装
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin项目信息
Stars：5 · 能力：Skills · 类型：工具 · 更新：2026-08-28T00:00:00Z