math-research-dsh：面向长期数学研究的 DSH 技能包

DSH 插件 `math-research-dsh` 将父插件 `math-research` 适配为四个独立 skill，旨在简化数学研究中的文献阅读、经验积累、任务续接及 Lean 形式化验证流程。它提供 `math-research-workflow`、`manage-math-research-program`、`rigorous-open-math-research` 和 `lean-verify` 四种核心能力。安装支持 Bundle 和本地脚本两种方式，维护遵循单向同步原则，确保上游内容源唯一，并包含全面的测试与兼容性检查。