⚒️ 铸剑炉插件集 · Forge Plugins for DeepSeek Harness

一切皆插件 (Everything is a Plugin)。 — 把铸剑炉 (Forge) 的兵器库带进 DeepSeek Harness。

12 个生产级工具 · 3 个插件 · 零 npm 依赖 · 纯 Cordis —— 给 DeepSeek Harness 智能体装上真正的计算大脑：符号数学、形式逻辑、定理证明、正则验证、状态机检测、代码修复、中医诊断、经验记忆召回。

---

✨ 为什么选铸剑炉插件？

🧮 真计算	符号数学与逻辑永不幻觉 —— 每个工具调用编译后的 gate 二进制，返回已验证结果
🧠 形式推理	TPTP 一阶逻辑定理证明（EPROVER）+ 状态机模型检测，不只是文字生成
🀄 中医能力	独有的八极八势卦象诊断 + 古籍方剂药对检索 —— DeepSeek Harness 生态唯一的中医插件
🪶 零依赖	纯 Cordis 插件，无 npm install、无框架启动代码，放进去就能用
🔒 沙箱化	文件访问全部走 ctx.fs（宿主平面纪律），无裸 fs 调用
🎁 开箱即用	Windows 预编译 exe 已挂在 Releases，Linux/macOS 一条命令自编译