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.
Author: jinguanghai · Tools & Capabilities · Catalog snapshot: 2026-09-04Real-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.
Imported third-party catalog description; not a Registry verification conclusion.jinguanghai/deepseek-harness-forge-plugins
3 stars · — downloads
Signals were provided by the source catalog and do not imply quality or safety. 2026-09-04No exact-version test is available.
No Registry security conclusion is available.
No functional smoke evidence is available.
Plugin permissions have not been resolved.
Version and integrity have not been resolved.
Describe your task in a DSH conversation and mention deepseek-harness-forge-plugins#forge-gates. The plugin manager can find this candidate through Registry, then inspect its actual source and version locally.
github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesExact version not resolved