jinguanghai/deepseek-harness-forge-plugins
Forge-plus: math/logic/regex/eprover/system/repair gates + TCM diagnosis + memory recall plugins for DeepSeek
The Forge (铸剑炉) arsenal as a dsh-native plugin family: 12 tool gates (math/logic/regex/eprover/system/repair gates, TCM diagnosis, memory). forge-gates: forge_math (symbolic simplification/evaluation), forge_logic (formal proof/equivalence), forge_regex (fullmatch validation), forge_eprover (TPTP first-order theorem proving), forge_system (state-machine model checking — deadlock/invariant), forge_repair (code defect fix suggestions). forge-tcm: tcm_diagnose (八极八势 pattern diagnosis) + tcm_herb_pair (herb-pair retrieval across an ancient-formula corpus) — described as the only TCM plugin for DeepSeek Harness. forge-memory: BM25 experience recall + folded-memory index (π/φ) with preview/deep-read. Sandboxed (ctx.fs discipline), zero deps.
Install
dsh plugin add ./plugins/forge-gatesSource install per README (English): three Cordis bundle plugins (forge-gates, forge-tcm, forge-memory) in plugins/. Install any into a dsh profile with dsh plugin add ./plugins/forge-gates (local dir), or pnpm add dsh-forge-gates (not yet published — README-listed), or symlink/copy into the profile's node_modules and add the bundle entry. Prebuilt Windows .exe binaries ship inside each bundle (bin/windows/); Linux/macOS build the 7 gate binaries from src/go/. No npm packages published yet (registry 404 verified).
Compatibility
DeepSeek Harness profiles. Pure Cordis plugins — zero npm dependencies, no framework bootstrap; all file access via ctx.fs.
Details
- Repo: jinguanghai/deepseek-harness-forge-plugins
- Category: Files & Data
- Stars: 3
- Version: GitHub source (release tarballs; no npm package)
- Last push: 2026-08-21
- First seen: 2026-08-14
Recent updates
Forge plugin family: gates (math/logic/regex/eprover/system/repair), TCM diagnosis + herb pairs, BM25 memory recall + folded index; sandboxed; prebuilt Windows binaries.
FAQ
- How many plugins does it ship?
- Three Cordis bundles: forge-gates, forge-tcm, and forge-memory — install any of them into a dsh profile.
- Does it need npm dependencies?
- No — pure Cordis plugins with zero npm dependencies; prebuilt Windows .exe binaries ship inside each bundle.
- What tools does forge-gates add?
- forge_math, forge_logic, forge_regex, forge_eprover, forge_system (state-machine model checking), and forge_repair.
Alternatives
jinguanghai/deepseek-harness-forge-plugins#evidence-first · bujue600-arch/dsh-testgen · PerryLink/dsh-auto-review