Showing the last saved plugin snapshot.

← Leaderboard / Tools / Plugin
Last repository activity November 11, 2026 · Created August 14, 2026

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

“Real-compute verification gates.”

Star rank
#4557
install-verified rank
In Tools
#483
category rank
Stars
2
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
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
+0 stars
+0% observed change
Oct 14Oct 28Nov 12