jinguanghai/deepseek-harness-forge-plugins#forge-gates

Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables.

Tools & Capabilities ★ 0 updated —

View on GitHub ↗

Install

dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#forge-gates

Details

Repo: jinguanghai/deepseek-harness-forge-plugins#forge-gates
Category: Tools & Capabilities
Stars: 0
Last push: —
First seen: —