⚒️ Forge Plugins for DeepSeek Harness

Everything is a Plugin. — Bring the Forge (铸剑炉) arsenal into DeepSeek Harness.

13 production-grade tools · 4 plugins · zero npm dependencies · pure Cordis — the fastest way to give your DeepSeek Harness agent a real compute brain: symbolic math, formal logic, theorem proving, regex verification, model checking, code repair, TCM diagnosis, and memory recall.

---

✨ Why Forge Plugins?

🧮 Real computation	Symbolic math and logic that never hallucinate — every tool runs a compiled gate binary and returns verified results
🧠 Formal reasoning	TPTP first-order theorem proving (EPROVER) + state-machine model checking, not just text generation
🀄 TCM diagnosis	Unique 八极八势 (Eight Trigrams) pattern diagnosis and herb-pair retrieval across an ancient-formula corpus — the only TCM plugin for DeepSeek Harness
🪶 Zero deps	Pure Cordis plugins, no npm install, no framework bootstrap code — drop-in and go
🔒 Sandboxed	All file access goes through ctx.fs (host-plane discipline) — no bare fs calls
🎁 Prebuilt binaries	Windows .exe included in Releases — Linux/macOS build from src/go in one command

---

🔌 Plugins and Tools

Plugin	Tool	What it does	Example result
forge-gates	forge_math	Symbolic simplification / evaluation	3*(x+1)-3*x → 3
	forge_logic	Formal proof / equivalence check	x>0 and x<10 -> x>0 → proved
	forge_regex	Fullmatch regex validation	[A-Z]\d{3} vs B456 → pass
	forge_eprover	TPTP first-order theorem proving	CNF axioms → theorem / counter-sat
	forge_system	State-machine model checking (deadlock/invariant)	6 states → passed
	forge_repair	Code defect fix suggestions	bare except: → except Exception:
forge-tcm	tcm_diagnose	八极八势 TCM pattern diagnosis	text/vector → trigram + strategy
	tcm_herb_pair	Herb-pair co-occurrence retrieval	附子+干姜 → 916 formulas
forge-memory	memory_recall	BM25 experience recall	query → ranked snippets
	memory_fold_list	Folded-memory index (π/φ)	list folded sections
	memory_fold_preview	Preview a folded section	content preview
	memory_fold_deep	Deep-read a folded section	full content
evidence-first	evidence_audit	Evidence audit: warns when a "done/success/fixed" claim has no tool-execution evidence	"任务完成" with no tool call → ⚠️ warning

13 tools · 4 plugins · MIT · works with dsh ≥ 0.1.0-rc.5

---

🚀 Quick Start

# 1. Put this repo anywhere, e.g.:
#    ~/.dsh/.agent-presets/forge-plus/   (repo root = preset dir)

# 2. Register plugins in your agent preset (see examples/agent.cordis.yml.snippet)

# 3. Start DeepSeek Harness:
npx @deepseek-ai/dsh web

agent.cordis.yml snippet:

# inside your preset directory
plugins:
  - path: ./plugins/forge-gates
  - path: ./plugins/forge-tcm
  - path: ./plugins/forge-memory
  - path: ./plugins/evidence-first

Then just ask your agent:

…