Tools & Capabilities

forge-gates

jinguanghai/deepseek-harness-forge-plugins · ★ 2

jinguanghai

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.

License

MIT

Added

2026-10-30

Maintenance

active

Install kind

github

Manifest status

Declared

Manifest path

package.json#dsh

Manifest checked

2026-10-30T09:42:55.274Z

Lifecycle scripts

None found

Static manifest checks report declarations only; they are not compatibility or security review.