安装
在 DeepSeek Harness 里通过 dsh-market 安装
dsh plugin --profile web add dshmarket
或使用命令行
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates
装任何插件都等于在你的机器上跑第三方代码，权限和你本人一样大——能读你的文件、用你的凭据、访问网络。请先审阅源码，并尽量锁定 commit（github:owner/repo#sha）。
README
该插件的 README 只有英文版本。
Real-compute verification gates for DeepSeek Harness. Six deterministic tools — no LLM guessing, every result comes from a compiled gate binary:
| Tool | Purpose |
|---|---|
forge_math |
Symbolic simplification / evaluation (3*(x+1)-3*x → 3) |
forge_logic |
Formal proof / equivalence check (Z3-backed) |
forge_regex |
Fullmatch regex validation |
forge_eprover |
TPTP first-order theorem proving |
forge_system |
State-machine model checking (deadlock / invariant) |
forge_repair |
Code defect fix suggestions |
Gates are single-file Go programs in src/go/ (stdlib only). Windows prebuilt
.exe binaries ship via GitHub Releases; Linux/macOS: go build from source —
see BUILDING.md. No npm dependencies.