真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
- GitHub 星标
- 3
- 许可证
- MIT
- 收录日期
- 2026-08-14
GitHub 信息
- GitHub 星标
- 3
- 许可证
- MIT
- 主要语言
- Go
- 最近推送
- 2026年8月16日 13:23
- 维护者
- jinguanghai
- 收录日期
- 2026-08-14
安装
安装命令
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesREADME 徽章
将这段 Markdown 添加到插件 README，链接到对应的详情页。
Listed onDSH Get
[](https://dshget.com/plugins/jinguanghai/deepseek-harness-forge-plugins%23forge-gates)相关插件
工具与能力deepseek-harness-forge-plugins#forge-tcm
★ 3中医工具集：八纲辨证与药对查询。
工具与能力jinguanghai
WeKnora#dsh-weknora
★ 20882把 WeKnora 知识库接入 dsh 的四个只读工具：列出知识库、混合检索原文片段、按顺序还原单篇文档，以及直接取用 WeKnora 自己带引用的 RAG 或 ReAct agent 回答（含可续聊的 session id）。
工具与能力Tencent
treg
★ 699给 Agent 的工具目录：按「要做的事」检索约 2,600 个外部接口（SEO 与 SERP、外链、社交、人物与公司信息补全、广告库、抓取），查看参数与单次调用价格后直接调用，凭据由服务端注入。附带技能，MCP 行在未设置 TREG_TOKEN 前保持禁用。
工具与能力superdesigndev