deepseek-harness-forge-plugins-forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
jinguanghai
@jinguanghai
⬇ 0
★ 2
安装
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates
需要可复现安装时，可在仓库后追加 #commit 固定提交。
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
该插件未提供要点说明，请参考仓库 README。
- 安装并启动 DeepSeek Harness：
npx @deepseek-ai/dsh web - 在终端执行上面的安装命令（CLI 会解析插件并核验来源）
- 用 dsh plugins list 确认已安装，必要时重启 Harness 生效
插件以当前 dsh 进程的权限运行，安装时可能执行代码。请先通读仓库源码与许可证，确认无破坏性命令与越权访问；本站只做索引，不对第三方插件安全性作担保。
| 代码仓库 | github.com/jinguanghai/deepseek-harness-forge-plugins#forge-gates |
| 许可证 | 未标注（见仓库） |
| 主要语言 | — |
| 下载量 | 0 |
| GitHub 星标 | 2 |
| 最近推送 | — |
| 收录日期 | 2026-08-14 |
| 分类 | 工具与能力 |
事实信息来自公开插件目录快照（2026-09-16），介绍文案由本站再加工。
数据来源：公开的 DeepSeek Harness 插件目录与各插件 GitHub 仓库。本站为独立第三方目录，与 DeepSeek、幻方（High-Flyer）及插件作者均无隶属或背书关系。
