deepseek-harness-forge-plugins#forge-gates

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

jinguanghai/deepseek-harness-forge-plugins

★ 2Added 2026-08-14🔧 工具与能力工具与能力

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

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

Already have DSH? Skip the wizard and install the market directly:dsh plugin --profile web add dshhub-market

This plugin installs only from the plugin side.