deepseek-harness-forge-plugins#forge-gates

Name: deepseek-harness-forge-plugins#forge-gates
Author: DSHHub

jinguanghai/deepseek-harness-forge-plugins

★ 2上架于 2026-08-14🔧 工具与能力工具与能力

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

curl -fsSL https://www.dshhub.co/install.sh -o dshhub-install.sh && bash dshhub-install.sh

已经装好 DSH？可以跳过体检，直接装市场：dsh plugin --profile web add dshhub-market

本插件仅支持插件端安装。