v0.2.0 — Cordis bundles (dsh plugin add / pnpm add)

What's new

• Plugins republished as Cordis bundles (package.json + cordis.patch.yml + index.js) — install via dsh plugin add or pnpm add
• Prebuilt Windows gate binaries ship inside the bundles (bin/windows/)
• BUILDING.md: one-command cross-platform build for Linux/macOS

Bundle tarballs

• dsh-forge-gates-0.1.0.tgz — 6 gate tools
• dsh-forge-memory-0.1.0.tgz — BM25 memory recall + fold index (4 tools)
• dsh-forge-tcm-0.1.0.tgz — TCM 八极八势 diagnosis + herb-pair retrieval (2 tools)

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/.