jinguanghai/deepseek-harness-forge-plugins
Forge-plus:为 DeepSeek Harness(dsh)提供的数学/逻辑/正则表达式/厄普柔弗/系统/修复门控插件,以及 TCM 诊断和记忆回访插件。
Project Overview项目介绍
This repository hosts a collection of native Cordis plugins built exclusively for DeepSeek Harness (DSH). It contains 4 separate plugins and 13 production-grade tools that extend DSH’s core capabilities with verified symbolic computation, formal reasoning, traditional Chinese medicine (TCM) diagnosis, and experience-based memory recall. All plugins are pure Cordis implementations with zero npm dependencies, and they can be installed directly via the DSH CLI on Windows, Linux, and macOS for immediate use.
After installation, users can call any of the tools directly within DSH chat conversations. For example, you can ask DSH to simplify a symbolic math expression, prove a first-order logic theorem, retrieve ancient formulas matching a specific TCM herb pair, or recall past experience snippets from a custom memory index. The plugins are designed for developers and researchers who want DeepSeek Harness to deliver reliable, non-hallucinated computation and domain-specific knowledge retrieval, and all tool file access runs through DSH’s host-plane discipline for improved security.
The entire project is released under the permissive MIT open-source license. Precompiled gate binaries are included for Windows, so no local build step is required for Windows users. Linux and macOS users only need to run a single build command to compile all required gate binaries from the included Go source code. Users should note that the TCM plugin requires a custom private ancient formula database that is not distributed with this repository, and the memory plugin also requires users to provide their own memory data files, though empty templates are included to help new users get started.
这是一组专为 DeepSeek Harness 开发的原生 Cordis 插件集合,共包含 4 个插件、13 款生产级工具,为 DSH 智能体扩展了符号计算、形式推理、中医诊断、记忆召回等能力。所有插件都是纯 Cordis 实现,零 npm 依赖,支持跨 Windows、Linux、macOS 平台运行,可以通过 DSH CLI 直接安装,开箱即用。
用户安装后可以直接在 DSH 对话中调用工具,比如请求化简符号表达式、验证一阶逻辑定理、检索附子干姜这类中药药对的古方记载,或是检索已存储的经验记忆片段。适合需要让 DeepSeek Harness 具备可靠实算能力、专业领域知识检索的开发者和研究人员使用,插件调用经过沙箱处理,安全性有保障。
项目采用 MIT 许可证开源,Windows 平台提供预编译的二进制文件,无需手动构建;Linux 和 macOS 平台仅需一条命令即可从 Go 源码编译所有工具二进制文件。需要注意的是,中医诊断插件需要用户自备古方数据库文件,记忆插件也需要用户自行准备记忆数据,插件本身不分发这些私有数据。
请帮我安装这个 DSH 插件。安装前先完成【兼容性检查 + 安全性检查】,检查通过再动手。
插件:deepseek-harness-forge-plugins(jinguanghai/deepseek-harness-forge-plugins)
仓库:https://github.com/jinguanghai/deepseek-harness-forge-plugins
本站详情页:https://www.yhbd.top/plugins/jinguanghai-deepseek-harness-forge-plugins/
本站登记:类型 plugin · 归类 原生 DSH 插件 · 许可证 MIT · ⭐ 2 · 最近提交 2026-08-21 · 主语言 JavaScript
按下面顺序执行,每步先把结论告诉我,再进入下一步:
【1 兼容性检查】
① 我这边:DSH 版本、Node 版本、操作系统、当前 profile(web / desktop)。
② 读它的 README、package.json、插件 manifest,列出它要求的 DSH 版本 / Node 版本 / 操作系统 / 外部依赖 / 需要另外先装的运行时。
③ 逐条比对,结论只写「满足 / 不满足 / 未知」三种;不满足的给出可行替代方案。
④ 检查是否和我已装的插件冲突:命令名重复、skill / tool 重名、端口占用、重复注册的 MCP server。
【2 安全性检查】
① 仓库可信度:和上面「本站登记」是否一致;star / fork 数、创建时间、最近提交,是否归档或长期停更。
② 安装脚本:逐行看 package.json 的 preinstall / install / postinstall,以及 install.sh、setup.ps1 之类脚本。出现 curl|bash、下载后直接执行、混淆代码、访问与插件功能无关的域名,立刻停下来告诉我,不要继续装。
③ 依赖:列出新增依赖,标出无人维护、或与知名包拼写近似的可疑包(typosquatting)。
④ 权限与副作用:它会读写哪些目录、访问哪些域名、需要哪些 DSH 权限(filesystem / network / shell / clipboard 等),以及怎么卸载和回滚。
⑤ 如果它要求 sudo / 管理员权限,或权限明显超出功能所需,先停下来问我。
【3 安装】
上面两步没有「不满足」和「高危项」时才执行;用官方推荐方式安装,不要自行提权。
【4 汇报】
用表格输出:检查项 / 结论 / 依据 / 是否需要我决策。拿不准的一律写「未知」并说明要我怎么确认——不要猜,也不要替我决定。
Send this message to DSH in your current session: it verifies compatibility and security first (answering met / not met / unknown item by item) and only installs once everything checks out — it will stop and ask you if it finds a high-risk item. The box scrolls; the copy is the full prompt. CLI install commands may not be accurate across systems, so DSH is the safer route.把上面这条消息直接发给当前会话里的 DSH:它会先核对兼容性与安全性(逐条给「满足 / 不满足 / 未知」),确认没问题再安装,有高危项会停下来问你。框内可滚动,复制到的是完整提示词;安装命令不一定准确,发给 DSH 更稳。
- Only 2 stars - very few users, little community feedback星标只有 2,几乎没人在用,遇到问题缺少社区反馈
DSH walks through these 9 checksDSH 会逐条核对这 9 项
Compatibility兼容性
- DSH, Node, OS and profile requirementsDSH 版本 / Node 版本 / 操作系统 / profile 是否满足要求
- External dependencies and runtimes (Electron / Python / Docker, ...)外部依赖与运行时(Electron / Python / Docker 等)是否齐备
- Conflicts with installed plugins: command names, skill / tool names, ports, duplicate MCP registration与已装插件是否冲突:命令名、skill / tool 重名、端口占用、重复 MCP 注册
Security安全性
- Repo matches the facts registered here; archived or abandoned?仓库是否与页面登记一致,是否归档或长期停更
- Safety of preinstall / install / postinstall and install.sh / setup.ps1preinstall / install / postinstall 与 install.sh、setup.ps1 是否安全
- curl|bash, download-then-execute, obfuscation, unrelated domains → stop immediatelycurl|bash、下载即执行、混淆代码、无关域名 → 立刻停止
- Typosquatting or unmaintained packages among the new dependencies新增依赖里有没有 typosquatting 或无人维护的包
- Requested permissions vs. what the feature actually needs申请了哪些权限、是否超出功能所需(filesystem / network / shell / clipboard)
- Any sudo / admin requirement, plus uninstall and rollback是否要求 sudo / 管理员权限,以及卸载与回滚方式
Anything uncertain must be marked unknown with a note on how to confirm it. This site's signal screen is a static snapshot, not a security audit.拿不准的必须标「未知」并说明要我怎么确认。本站的信号筛查是静态快照,不能替代安全审计。
Or use CLI install (for developers)或使用命令行安装(适合开发者)
CLI Install命令行安装
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins
把 jinguanghai/deepseek-harness-forge-plugins 加入你的 DSH 配置(web profile)即可启用。
READMEREADME
⚒️ 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 |
Showing the opening section of the README — the full document lives in the repository以上为 README 开头摘要,完整文档在仓库内 · View the full README on GitHub →在 GitHub 查看完整 README →
ruvnet/ruflo
Tencent/WeKnora
EverMind-AI/EverOS
MemTensor/MemOS
plastic-labs/honcho
agentscope-ai/ReMe
zilliztech/memsearch
vshulcz/deja-vu