Install
Inside DeepSeek Harness, with dsh-market
dsh plugin --profile web add dshmarket
Or from the command line
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates
Installing runs third-party code with your own permissions — it can read your files, use your credentials and reach the network. Review the source first, and pin a commit (github:owner/repo#sha) when you can.
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.