技能包 · deeplugin-fc14c46fc7e1842a3aa0
math-research-dsh
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
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.
dsh plugin --profile web add github:xsoc1/math-research-dsh请先在 deeplugin.store 中检索 Registry ID deeplugin-fc14c46fc7e1842a3aa0，展示来源和精确安装 spec，为 web profile 生成安装计划；等我明确批准后再安装。
Agent 应先展示来源与精确 spec，并在你明确批准后安装。SHARE THIS EXACT PLUGIN
Stable link, launch packet and release feed
链接固定到 Registry ID；名称、版本或来源更新时不会改变。双语发布文案只陈述来源与安装事实。
https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.html
[](https://deeplugin.store/plugins/deeplugin-fc14c46fc7e1842a3aa0.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.