{
  "$schema": "https://deeplugin.store/data/launch-packet.schema.json",
  "version": 1,
  "plugin": {
    "id": "deeplugin-fc8b8c297c784a1945a2",
    "name": "deepseek-harness-forge-plugins#forge-gates",
    "author": "jinguanghai",
    "category": "tools",
    "version": null,
    "homepage": "https://github.com/jinguanghai/deepseek-harness-forge-plugins/tree/main/plugins/forge-gates",
    "firstObservedAt": "2026-08-15T22:14:49Z",
    "lastChangedAt": "2026-08-15T22:14:49Z"
  },
  "links": {
    "detail": "https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html",
    "feed": "https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.atom.xml",
    "newFeed": "https://deeplugin.store/feeds/new.atom.xml",
    "updatedFeed": "https://deeplugin.store/feeds/updated.atom.xml"
  },
  "install": {
    "spec": "github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates",
    "command": "dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates",
    "agentRequest": "请先在 deeplugin.store 中检索 Registry ID deeplugin-fc8b8c297c784a1945a2，展示来源和精确安装 spec，为 web profile 生成安装计划；等我明确批准后再安装。"
  },
  "badge": {
    "markdown": "[![Listed on deeplugin.store](https://deeplugin.store/assets/deeplugin-listed.svg)](https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html)",
    "html": "<a href=\"https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html\"><img src=\"https://deeplugin.store/assets/deeplugin-listed.svg\" alt=\"Listed on deeplugin.store\"></a>"
  },
  "posts": {
    "zh": "deepseek-harness-forge-plugins#forge-gates 已收录到 DeepSeek Harness Plugin Store。真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。\n\n查看来源与安装：https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html",
    "en": "deepseek-harness-forge-plugins#forge-gates is now listed on the DeepSeek Harness Plugin Store. 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.\n\nSource and install details: https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.html"
  }
}