页面加载中
https://github.com/jinguanghai/deepseek-harness-forge-plugins/tree/main/plugins/forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
PromptHub 只提供目录和安装命令。实际插件代码来自作者的 GitHub 或 npm，请在本地查看源码后安装。
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates这些标签描述插件公开声明的能力和适用任务，具体行为以作者源码和宿主配置为准。
DSH Plugin 会在你的本机权限下运行，可能访问文件、Shell、网络或凭据。收录和静态信息展示不代表 PromptHub 对插件安全性作出保证，请先查看源码。