它可能解决什么问题
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
第三方目录导入描述，不是 Registry 验证结论。deepseek-harness-forge-plugins#forge-gates
来源级候选真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
作者： jinguanghai · 工具与能力 · 目录快照： 2026-09-04来源与公开信号
jinguanghai/deepseek-harness-forge-plugins
3 stars · — downloads
信号由来源目录提供，不代表质量或安全。 2026-09-04当前可以确认的边界
DSH 兼容性
尚无精确版本测试。
安全分析
尚无 Registry 安全结论。
功能验证
尚无功能冒烟证据。
权限
尚未解析插件权限。
精确制品
版本与完整性尚未解析。
交给插件管理器继续检查
在 DSH 对话中描述你的任务，并提到 deepseek-harness-forge-plugins#forge-gates. 插件管理器可通过 Registry 搜索到此候选，再在本地检查实际来源与版本。
可供本地检查的来源
- GitHub 来源
github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates未解析精确版本