deepseek-harness-forge-plugins#forge-gates
by jinguanghai
真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。
Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables.
安装
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesGitHub 源码安装：首次需按提示配置 allowBuilds 构建授权后重试
安装与环境配置指引、插件开发教程见 DSH 中文社区文档 ↗
安装即在你的机器上以你的权限运行第三方代码——它可读写文件、使用凭据、访问网络，DSH 的工具审批不会为插件代码加沙箱。「检测到 manifest」仅代表发现 dsh.bundle / dsh.plugin 清单，不构成兼容性或安全审查；安装前请审阅源码，不熟悉的插件先在不含密钥的环境试用。
README
Real-compute verification gates for DeepSeek Harness. Six deterministic tools — no LLM guessing, every result comes from a compiled gate binary:
| Tool | Purpose |
|---|---|
forge_math |
Symbolic simplification / evaluation (3*(x+1)-3*x → 3) |
forge_logic |
Formal proof / equivalence check (Z3-backed) |
forge_regex |
Fullmatch regex validation |
forge_eprover |
TPTP first-order theorem proving |
forge_system |
State-machine model checking (deadlock / invariant) |
forge_repair |
Code defect fix suggestions |
Gates are single-file Go programs in src/go/ (stdlib only). Windows prebuilt
.exe binaries ship via GitHub Releases; Linux/macOS: go build from source —
see BUILDING.md. No npm dependencies.
同类插件
查看全部 →
dsh-anchored-standard
两阶段 DeepSeek Harness 预设：先 Minimal 对齐的 bootstrap，再切完整 Standard 工具（Project2 98/99）
PicGo-Core
极致的图片上传引擎，CLI 与 API 双支持
awesome-deepseek-harness
DeepSeek Harness（DSH）及其优秀社区插件的精选指南。
awesome-deepseek-harness
DeepSeek Harness (DSH)生态系统：来自dsh-external/hub和公共dsh-plugin主题的精选插件、工具和基础设施。
AI-Novel-Writer
本地优先 AI 小说创作工作台，提供 Windows/macOS 桌面版与 DeepSeek Harness 插件开发预览，支持角色、大纲、章节蓝图、审稿修稿和本地模型。
mcp-for-stata
MCP-for-Stata：把 Stata 集成进你的 agent