jinguanghai/deepseek-harness-forge-plugins

Plugin插件 Native原生 ⭐ 2 MIT Memory & Knowledge记忆与知识库

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 源码编译所有工具二进制文件。需要注意的是,中医诊断插件需要用户自备古方数据库文件,记忆插件也需要用户自行准备记忆数据,插件本身不分发这些私有数据。

Pre-install check安装前体检Compatibility · Security兼容性 · 安全性 1 warning1 项注意
  • 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.

License: MIT Tools Plugins Dependencies dsh OS

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 →

← 上一个 Prev dsh-custom-css 下一个 Next citeguard →