12 个生产级工具
jinguanghai/deepseek-harness-forge-plugins · 生产力
Forge-plus：DeepSeek Harness (dsh) 的数学/逻辑/正则表达式/eprover/系统/修复门 + TCM 诊断 + 内存调用插件
★ 3GitHub 星标
0分支
2026-08-21最近更新
JavaScript开发语言
MIT许可证
主要功能
- 真计算 · 符号数学与逻辑永不幻觉 —— 每个工具调用编译后的 gate 二进制，返回已验证结果
- 插件forge-gates · 工具: forgemath · 功能: 符号化简 / 求值 · 实测示例: 3(x+1)-3x → 3
- forge-tcm 药对检索需要 formuladb.json —— 私有古籍方剂库（家传古籍数据），不随本仓库分发。
安装命令
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins