jinguanghai/deepseek-harness-forge-plugins

README excerpt

⚒️ Forge Plugins for DeepSeek Harness Everything is a Plugin. — Bring the Forge (铸剑炉) arsenal into DeepSeek Harness. 12 production-grade tools · 3 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-gate…

Category