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 |
| ライセンス | 未記載（リポジトリ参照） |
| 主要言語 | — |
| ダウンロード | 0 |
| GitHub スター | 5 |
| 最終プッシュ | — |
| 収録日 | 2026-08-28 |
| カテゴリ | スキル |
事実情報は公開カタログのスナップショット（2026-09-16）に基づきます。紹介文は当サイトが再構成したものです。
出典：公開されている DeepSeek Harness プラグインカタログおよび各プラグインの GitHub リポジトリ。当サイトは独立した第三者ディレクトリであり、DeepSeek・High-Flyer・各作者との提携や推奨関係はありません。
