数学 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/容差）并标记为不可信数据。
作者： symmetryseeker · 技能包 · 目录快照： 2026-09-19规范语义主路径
数学 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/容差）并标记为不可信数据。
第三方目录导入描述，不是 Registry 验证结论。symmetryseeker/math-agent-framework
5 stars · — downloads
信号由来源目录提供，不代表质量或安全。 2026-09-19当前有效分析覆盖 5/5；历史链路结果保留，但不计入当前覆盖。
结论：来源结构检查已完成，未发现结构问题。
结论：GitHub 仓库可以访问，当前未归档。公开数据：5 stars、11 次提交、0 forks、0 watches；最近提交于 2026-08-23。
结论：该插件没有 npm 包来源，此项不适用。
结论：兼容验证未通过：有限兼容性验证未通过。 测试环境：DSH 0.1.6-alpha.2，web Profile。
结论：依赖审计未能生成完整报告。
尚未执行插件声称功能的自动化验证。安装和启动通过不代表具体功能可用。
结论：有限静态扫描未发现预设风险信号。未发现不代表安全证明。
结论：插件包结构或完整性校验未通过。
自动化证据只适用于这里标明的制品、DSH 版本和运行入口，不代表整体安全或功能完整。
在 DSH 对话中描述你的任务，并提到 math-agent-framework#dsh-plugin. 安装或更新管理器到 npm latest 后，它可通过 Registry 搜索到此候选，再在本地检查实际来源与版本。
github:symmetryseeker/math-agent-framework#path:/dsh-plugin未解析精确版本