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.
forge-gates gives a DSH agent a real compute brain instead of a text guess. Six tools run compiled gate binaries and return verified results: forge_math for symbolic simplification/evaluation (3*(x+1)-3*x → 3), forge_logic for formal proof and equivalence checks (x>0 and x<10 -> x>0 → proved), forge_regex for fullmatch validation, forge_eprover for TPTP first-order theorem proving, forge_system for state-machine model checking (deadlock/invariant) and forge_repair for code defect fix suggestions (bare except: → except Exception:). Each gate writes exactly one JSON object to stdout.
Install
dsh plugin add ./plugins/forge-gatesREADME INSTALL section form 1 (dsh CLI, from a local checkout of the repo: local dir or tarball). Form 2 is a package-manager pull (pnpm add dsh-forge-gates), but the npm registry returns 404 for dsh-forge-gates (verified 2026-09-11), so the local-dir form plus the bundle tarballs attached to the GitHub release are the working routes. Form 3 is manual: copy/symlink the plugin directory into the profile's node_modules and add the bundle entry to package.json's dsh.profile.bundles.
Compatibility
Works with dsh >= 0.1.0-rc.5. Pure Cordis plugins with zero npm dependencies — no npm install and no framework bootstrap code. Windows prebuilt gate binaries (.exe) ship inside each bundle under bin/windows/; Linux/macOS require building the 7 gate binaries from src/go (see BUILDING.md). All file access goes through ctx.fs (host-plane discipline), never bare fs calls.
Details
- Repo: jinguanghai/deepseek-harness-forge-plugins#forge-gates
- Category: Tools & Capabilities
- Stars: 0
- Version: GitHub main / release bundle tarballs (README-documented; npm dsh-forge-gates 404 verified 2026-09-11)
- Last push: 2026-08-21
- First seen: 2026-08-14
Recent updates
README documents the zero-dependency, sandboxed design: pure Cordis plugins, gate binaries invoked as subprocesses with a one-JSON-object protocol on stdout, and all file access routed through ctx.fs rather than bare fs.
FAQ
- How do I install forge-gates?
- From a checkout of the repo: dsh plugin add ./plugins/forge-gates. Bundle tarballs are attached to the GitHub release; the README's pnpm add dsh-forge-gates form does not currently resolve on npm (404 verified 2026-09-11).
- Do I need to build anything?
- On Windows, no — prebuilt .exe gate binaries ship inside the bundle under bin/windows/. On Linux/macOS you build the 7 gate binaries from src/go in one command, as documented in BUILDING.md.
- Does it work by guessing at math?
- No — every tool invokes a compiled gate binary and returns a verified result, so symbolic math and formal logic checks do not hallucinate.