jinguanghai/deepseek-harness-forge-plugins#forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
tools
40健康评分
github
$ dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins/tree/main/plugins/forge-gates健康评分构成
40 / 100该插件未完整披露数据收集行为。安装前请审阅源码与 manifest。
安全信息
许可证— ✓
风险披露部分 — 建议审阅源码
网络请求未发现
凭据读取无
Manifest已声明
关键指标
月下载0
较上月
Star
0
Forks
0
收录时间
2026年8月14日
上次更新
2026年8月14日
Related
相关插件
liustack/modlens80
为纯文本模型架起视觉桥梁：粘贴图片，输出结构化 JSON 证据（OCR、版面、语义）。
zhaoolee/notes40
将 DSH 对话导出为锤子便签风格 PNG，或在配置的账号工作区中新建和更新 Markdown 便签。
dsh-excel-vera-plugin40
检测并修复 Excel 公式静默错误：列 pattern 校验、语义 Formula IR 编译、确定性 + LLM 修复、oracle 判分与图表校验。
hccccc01333/dsh-excel-chat40
在 DeepSeek Harness 里对话完成 Excel 工作：建表、编辑、修复公式、图表校验，每次编辑后自动体检公式。
Anionex/dsh-computer-use80
macOS 电脑控制：Accessibility 观测、过期状态拒绝、作用域权限与安全输入。
MAXeaglet/dsh-bash-terminal80
一个 shell 工具：Windows 上统一执行 PowerShell / Git Bash / WSL，外加交互式 PTY 终端，默认终端由用户在设置中选择。