math-research-dsh

上游 Codex 市场的四款数学研究插件只能以 Codex 打包格式分发，DSH 用户无法直接消费。本仓库将它们逐一转为原生 DSH skill bundle 并叠加运行时适配层，使整套流水线在 DSH 会话中即开即用，内容与上游保持同步。

核心能力覆盖完整研究回路：Stage A 项目初始化与文献管理、Stage B 定理契约驱动的路线搜索与对抗审计、Stage C Lean 4 obligation 级形式化验证与结构化裁决，以阶段门禁和 checkpoint 恢复保障中断可续。求解层采用渐进式披露控制上下文占用，长计算走后台，子代理并行求解与审计互不阻塞；项目管理层强制交付论文级 LaTeX 双语证明并对接 arXiv 规范。

适合在 DSH 环境中做严肃数学研究、需要 Lean 形式化验证闭环、或希望将多 agent 编排与形式化审计整合为一条可恢复流水线的研究者。