跳到正文
dsh-market 浏览插件 GitHub EN

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

分类 技能包 收录于 2026-08-28

安装

在 DeepSeek Harness 里通过 dsh-market 安装

dsh plugin --profile web add dshmarket

或使用命令行

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

装任何插件都等于在你的机器上跑第三方代码,权限和你本人一样大——能读你的文件、用你的凭据、访问网络。请先审阅源码,并尽量锁定 commit(github:owner/repo#sha)。

评论

评论存放在 GitHub Discussions。用 GitHub 账号登录后可发表评论或点表情。