deepseek-harness-forge-plugins#forge-gates
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.