v0.1.0

DeepSeek Harness Forge Plugins — v0.1.0

Pre-compiled Windows binaries for all 7 forge gates + regex helper script.

Contents

• eprover_gate.exe — TPTP first-order logic theorem prover (E prover wrapper)
• logic_gate.exe — symbolic logic: prove / equivalence / consistency
• math_gate.exe — symbolic math: CAS simplify / factor / solve
• regex_gate.exe — regular expression validation (fullmatch semantics)
• repair_gate.exe — code repair suggestion engine
• system_gate.exe — state-machine model checking (invariants / deadlock)
• tcm_gate.exe — TCM knowledge gate: herb-pair query + pattern diagnosis
• regex_engine.py — helper script for regex gate

Usage

Set FORGE_GATE_BIN to this directory, or place binaries in bin/windows/ of the plugin package.
Build from source for other platforms: go build -o <name> <name>_gate.go in src/go/.