GitHub · 核心生态
math-research-dsh
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
SOURCE-DECLARED INSTALL
dsh plugin --profile web add github:xsoc1/math-research-dshSource-declared command. Review the package and Registry Listing before running it.
MEDIA REFERENCES
Captured in public view
REGISTRY LISTINGS
Source-attributed install evidence
| Registry source | Install spec | Version | Verification claim | Observed | Raw snapshot |
|---|---|---|---|---|---|
| zoahdev/dsh-subscribe · registry.json | github:xsoc1/math-research-dshgit | — | source does not claim verified | 2026-08-15 → 2026-08-16 | 962 |
| awesome-dsh-plugin/awesome-dsh-plugin · https://awesome-dsh-plugin.com/plugins.json | github:xsoc1/math-research-dshgit | — | unreported | 2026-08-15 → 2026-08-16 | 962 |
| dsh-market/dsh-market · data/registry-snapshot.json | github:xsoc1/math-research-dshgit | — | unreported | 2026-08-16 → 2026-08-16 | 962 |
Verification is a claim made by the named Registry Source; it is not a security, compatibility, quality, or official-endorsement claim by this site.
CONTEXT
Why it is here
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
Evidence updated 2026-08-16T09:56:16Z. Interaction numbers are platform-native snapshots; the evidence panel records the metric source and observation time. NULL means the public page did not expose a number at collection time.