{
  "$schema": "https://deeplugin.store/data/launch-packet.schema.json",
  "version": 1,
  "plugin": {
    "id": "deeplugin-fc14c46fc7e1842a3aa0",
    "name": "math-research-dsh",
    "author": "xsoc1",
    "category": "skill",
    "version": null,
    "homepage": "https://github.com/xsoc1/math-research-dsh",
    "firstObservedAt": "2026-08-15T22:14:49Z",
    "lastChangedAt": "2026-08-16T08:41:44Z"
  },
  "links": {
    "detail": "https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html",
    "feed": "https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.atom.xml",
    "newFeed": "https://deeplugin.store/feeds/new.atom.xml",
    "updatedFeed": "https://deeplugin.store/feeds/updated.atom.xml"
  },
  "install": {
    "spec": "github:xsoc1/math-research-dsh",
    "command": "dsh plugin --profile web add github:xsoc1/math-research-dsh",
    "agentRequest": "请先在 deeplugin.store 中检索 Registry ID deeplugin-fc14c46fc7e1842a3aa0，展示来源和精确安装 spec，为 web profile 生成安装计划；等我明确批准后再安装。"
  },
  "badge": {
    "markdown": "[![Listed on deeplugin.store](https://deeplugin.store/assets/deeplugin-listed.svg)](https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html)",
    "html": "<a href=\"https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html\"><img src=\"https://deeplugin.store/assets/deeplugin-listed.svg\" alt=\"Listed on deeplugin.store\"></a>"
  },
  "posts": {
    "zh": "math-research-dsh 已收录到 DeepSeek Harness Plugin Store。严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。\n\n查看来源与安装：https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html",
    "en": "math-research-dsh is now listed on the DeepSeek Harness Plugin Store. Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.\n\nSource and install details: https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html"
  }
}