插件目录 / jinguanghai
jinguanghai/deepseek-harness-forge-plugins--forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
安装
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates项目信息
Stars：3 · 能力：工具与能力 · 类型：工具 · 更新：2026-08-14T00:00:00Z