math-research-dsh: A DSH Skill Pack for Long-Term Mathematical Research

The DSH plugin `math-research-dsh` adapts its parent plugin `math-research` into four independent skills, aiming to simplify literature reading, experience accumulation, task continuation, and Lean formal verification workflows in mathematical research. It provides four core capabilities: `math-research-workflow`, `manage-math-research-program`, `rigorous-open-math-research`, and `lean-verify`. Installation supports both Bundle and local script methods, while maintenance follows a one-way synchronization principle to ensure a single upstream source of truth, including comprehensive testing and compatibility checks.