← Leaderboard / Tools / Plugin
jinguanghai/deepseek-harness-forge-plugins#forge-gates
“Real-compute verification gates.”
Star rank
#2805install-verified rank
In Tools
#295category rank
Stars
2GitHub repository
Forks
0GitHub repository
Watchers
0GitHub subscribers
TL;DR
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.
30 days of GitHub stars
-1 stars
-33.3% observed change
Sep 1Sep 15Sep 30
