工具与能力 · deeplugin-fc8b8c297c784a1945a2
deepseek-harness-forge-plugins#forge-gates
真实计算验证门：数学化简、逻辑证明、正则校验、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.
方式一 · 自己安装 / INSTALL IT YOURSELF
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates方式二 · 交给 DEEPSEEK / HAND IT TO DEEPSEEK
请先在 deeplugin.store 中检索 Registry ID deeplugin-fc8b8c297c784a1945a2，展示来源和精确安装 spec，为 web profile 生成安装计划；等我明确批准后再安装。
Agent 应先展示来源与精确 spec，并在你明确批准后安装。SHARE THIS EXACT PLUGIN
Stable link, launch packet and release feed
链接固定到 Registry ID；名称、版本或来源更新时不会改变。双语发布文案只陈述来源与安装事实。
https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html
[](https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html)REGISTRY SOURCES
Attributed listing evidence
| Registry source | Listing | Version | Verification | Observed UTC |
|---|---|---|---|---|
| awesome-dsh-plugin/awesome-dsh-plugin | Open listing ↗ | NULL | no verified source claim | 2026-08-16T14:38:49Z |
| dsh-market/dsh-market | Open listing ↗ | NULL | no verified source claim | 2026-08-16T14:38:49Z |
| zoahdev/dsh-subscribe | registry.json | NULL | no verified source claim | 2026-08-16T14:38:49Z |
Verification is a claim made by the named Registry Source; it is not a security, compatibility, quality, or official endorsement by deeplugin.store.