Introduction

DSH’s plugin usage mounts external capabilities onto the agent. This article introduces jinguanghai/deepseek-harness-forge-plugins. It is aimed at developers who need to integrate gate computing, TCM query, memory recall, and evidence audit into DSH. Below, functions, installation methods, and usage examples are introduced based on verified materials.

What is this

deepseek-harness-forge-plugins is maintained by jinguanghai and licensed under MIT. The positioning given by the materials is:

Forge plugins for DeepSeek Harness: gate computing + TCM + memory (13 tools).

Verified materials list 4 plugins: forge-gates, forge-tcm, forge-memory, evidence-first, totaling 13 tools. The materials also state that it has zero npm dependencies, is pure Cordis plugins, file access is sandboxed via ctx.fs, and requires dsh >= 0.1.0-rc.5.

Core Functions

forge-gates

forge-gates provides gate calculation and formal checking tools:

  • forge_math: symbolic math simplification / evaluation.
  • forge_logic: formal proof / equivalence checking.
  • forge_regex: regex fullmatch validation.
  • forge_eprover: TPTP first-order theorem proving.
  • forge_system: state-machine model checking, targeting deadlock / invariant.
  • forge_repair: code defect fix suggestions.

forge-tcm

forge-tcm provides TCM-related tools:

  • tcm_diagnose: TCM pattern diagnosis.
  • tcm_herb_pair: herb-pair retrieval. Materials note that herb-pair retrieval requires the user to provide formula_db.json themselves, as this data is not distributed with the repository.

forge-memory

forge-memory provides memory-related tools:

  • memory_recall: BM25 memory recall.
  • memory_fold_list, memory_fold_preview, memory_fold_deep: folded-memory tools.

Materials note that forge-memory reads user-provided memory files, for example:

  • memory.json
  • .forge-temp/memory_current.json
  • data/memory_current.json

evidence-first

evidence-first provides:

  • evidence_audit: used to audit unverified completion claims.

Installation and Enablement

First, confirm that the DSH version meets:

dsh >= 0.1.0-rc.5

Install Plugins

The installation command given by the repository materials for GitHub is:

dsh plugin add github:jinguanghai/deepseek-harness-forge-plugins

The materials also give a Cordis bundle installation example:

dsh plugin add ./plugins/forge-gates

Or:

pnpm add dsh-forge-gates

The examples here use forge-gates; verified materials list four plugin paths, which can be registered as needed.

Using Local Presets

You can place the repository in a preset directory, for example:

~/.dsh/.agent-presets/forge-plus/

Register plugin paths in agent.cordis.yml in the preset directory:

plugins:
  - path: ./plugins/forge-gates
  - path: ./plugins/forge-tcm
  - path: ./plugins/forge-memory
  - path: ./plugins/evidence-first

Then start DSH:

npx @deepseek-ai/dsh web

Typical Usage

Calculation, Logic, and Regex

The example questions given by the materials include:

  • Simplify 3*(x+1)-3*x
  • Prove that x>0 follows from x>0 and x<10
  • Check regex [A-Z]\d{3} against B456

TCM

forge-tcm’s herb-pair retrieval requires the user to provide their own formula_db.json. The example question given by the materials is:

附子 配 干姜 有哪些方剂?

Memory

forge-memory is used to read user-provided memory files. The file paths given by the materials are:

  • memory.json
  • .forge-temp/memory_current.json
  • data/memory_current.json

Applicable Scenarios and Notes

Suitable for:

  • Developers who want to integrate gate computing, formal checking, TCM query, memory recall, or evidence audit into DSH.
  • Environments using Windows and can directly use prebuilt .exe binaries.
  • Environments building gate binaries from src/go on Linux/macOS.

Notes:

  • Plugins run under the permissions of the current dsh process; source code and license should be checked before installation.
  • formula_db.json is not distributed with the repository; TCM herb-pair retrieval requires providing it yourself.
  • forge-memory reads user-provided memory files.
  • Materials indicate that gates are pure logic and do not contain private data.
  • File access is through ctx.fs; materials emphasize there are no bare fs calls.
  • Inconsistencies exist in verified materials: the README badge shows tools-12, while the body/list says 13 tools; INSTALL describes mentioning “Three plugins are published as Cordis bundles”, but package.json dependencies list four plugin packages. This article introduces 4 plugins and 13 tools based on the verified list.
  • Materials do not provide category, star count, or directory page URL.

Conclusion

The value of this set of plugins is to expose gate computing, TCM query, memory recall, and evidence audit in the form of DSH plugins. It is suitable for developers who need external tools and verifiable evidence within DSH. Materials do not provide a directory page URL; the GitHub address is as follows:

https://github.com/jinguanghai/deepseek-harness-forge-plugins