deepseek-harness-forge-plugins-forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
jinguanghai
@jinguanghai
⬇ 1
★ 2
インストール
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates
再現性が必要な場合は #commit でコミットを固定できます。
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
要点の記載はありません。リポジトリの README をご確認ください。
- DeepSeek Harness を導入して起動:
npx @deepseek-ai/dsh web - 上記のコマンドを実行（CLI がプラグインを解決し出所を検証します）
- dsh plugins list で確認し、必要なら Harness を再起動
プラグインは dsh プロセスの権限で動作し、導入時にコードが実行される可能性があります。事前にソースとライセンスを確認してください。当サイトは索引のみで、安全性を保証するものではありません。
| リポジトリ | github.com/jinguanghai/deepseek-harness-forge-plugins#forge-gates |
| ライセンス | 未記載（リポジトリ参照） |
| 主要言語 | — |
| ダウンロード | 1 |
| GitHub スター | 2 |
| 最終プッシュ | — |
| 収録日 | 2026-08-14 |
| カテゴリ | ツールと機能 |
事実情報は公開カタログのスナップショット（2026-09-16）に基づきます。紹介文は当サイトが再構成したものです。
出典：公開されている DeepSeek Harness プラグインカタログおよび各プラグインの GitHub リポジトリ。当サイトは独立した第三者ディレクトリであり、DeepSeek・High-Flyer・各作者との提携や推奨関係はありません。
