# math-agent-framework-dsh-plugin — DeepSeek Harness プラグイン導入マニフェスト

> 生成日時: 2026-09-17 05:48 · 出典: https://deepseekmodel.com/plugins

## 概要

数学 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 スター | ライセンス | 主要言語 | 最終プッシュ |
| --- | --- | --- | --- | --- | --- |
| スキル | symmetryseeker | 5 | — | — | — |

## インストール

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

## 手順

1. DeepSeek Harness（DSH、MIT のオープンソースエージェントランタイム）を導入して起動 — `npx @deepseek-ai/dsh web`
2. 上記コマンドを実行（CLI がプラグインを解決し出所を検証）
3. dsh plugins list で確認し、必要なら Harness を再起動

> バージョン固定は #commit を付けて指定します。

## 導入前の確認

プラグインは dsh プロセスの権限で動作し、導入時にコードが実行される可能性があります。事前にソースとライセンスを確認し、再現性が必要な場合はコミットハッシュを固定してください。本マニフェストは DeepseekModel が公開カタログから整理した参考情報であり、第三者プラグインの安全性を保証するものではありません。

---

- リポジトリ: https://github.com/symmetryseeker/math-agent-framework#dsh-plugin
- プラグインページ: https://deepseekmodel.com/plugin-detail?id=symmetryseeker%2Fmath-agent-framework-dsh-plugin
- 出典: https://deepseek-harness-plugin.com/zh-CN/plugins/ · 生成日時 2026-09-16