Installation
dsh plugin add ./plugins/forge-gatesCopy
dsh plugin --profile web add deepseek-harness-forge-pluginsCopy
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-pluginsCopy
Plugins in this repository deepseek-harness-forge-plugins v0.1.0 ✓
Forge plugins for DeepSeek Harness: gate computing + TCM + memory (13 tools). Install via `dsh plugin add github:jinguanghai/deepseek-harness-forge-plugins`.
dsh-evidence-first v0.2.1 ✓
Evidence-first guard plugin for DeepSeek Harness: warns when the agent claims completion without tool-execution evidence. 证据铁律:声称完成必须有实际执行证据。
Official core packages (4) @deepseek-ai/cordis>=4.0.0 shared @deepseek-ai/dsh-agent>=0.1.0 shared @deepseek-ai/dsh-tools>=0.1.0 shared @deepseek-ai/schemastery>=3.18.1 private copy dsh-forge-gates v0.1.0 ✓
Math/logic/regex verification gates (四期 I: eprover/system/repair 已裁剪)
dsh-forge-market v0.1.0 ✓
forge 死市场插件:三公理准入 + 死壳判定 + 清单/体检/提案/审计。DSH 插件市场,只收死程序插件。
Official core packages (3) @deepseek-ai/cordis>=4.0.0 shared @deepseek-ai/dsh-tools>=0.1.0 shared @deepseek-ai/dsh-typert-protocol>=0.1.0 shared dsh-forge-memory v0.1.0 ✓
BM25 experience recall & fold index
dsh-forge-tcm v0.1.0 ✓
TCM diagnosis & herb-pair search
Paths are pinned to commit ad4e2dd73be0
Overview Forge-plus: math/logic/regex/eprover/system/repair gates + TCM diagnosis + memory recall plugins for DeepSeek Harness (dsh)
Repository check result Results are bound to the listed commit and cover only static checks run by this registry. The Evidence Score measures reviewable information; it is not a compatibility percentage or a security guarantee.
Static repository check Sep 1, 2026, 5:29 AM Medium risk
Evidence Score 89/100
Static risk Medium risk
Files scanned 13
Findings 1 Evidence breakdown Source provenance 25/25
Install documentation 25/25
Maintenance 17/20
Compatibility evidence 12/20
Security signals 10/10
Compatibility confidence: Limited
Findings (1) Not run Dependency advisory database scan Installation execution test Runtime behavior verification Scanner 1.0.0 · Scorer 1.0.0