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 和本地腳本兩種方式，維護遵循單向同步原則，確保上游內容源唯一，並包含全面的測試與兼容性檢查。