DSH Store
Trusted catalog

tools · jinguanghai

deepseek-harness-forge-plugins#forge-gates

真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。

screenedgithub:jinguanghai/deepseek-harness-forge-plugins#forge-gatesawesome/tools介绍抓取于 2026-08-17T07:21:54.604Z

作者 jinguanghai · 徽章

兼容矩阵

DSHunknown
profilesany
Desktopunknown
实测untested

安装

当前信任状态是 screened，没有安装按钮，也没有可执行安装器。

护照

尚无护照。

评价

公开评价需要 GitHub 或安装日志身份。当前这个版本还没有已发布评价。评价不能改变护照。

提交：POST /api/v1/reviews，举报：POST /api/v1/reviews/:id/report