用途：为研究论文提供严谨的数学推理与 LaTeX 输出，覆盖推导、证明、形式化、统计、符号与验证六类任务。
主要能力：derive 逐步推导方程，展示中间步骤、标注所用规则，最终结果用 \boxed{} 框出，重要公式用 \label{eq:name} 编号；prove 用直接法、反证法、归纳法、构造法或分类讨论完成定理证明；formalize 把非正式描述转为含变量定义、定义域/值域、假设与目标函数的形式化框架；stats 依据决策树选择统计检验，报告 p 值、效应量与置信区间；notation 生成包含论文全部符号的 \begin{table} 符号表；verify 检查量纲一致性、边界情形、梯度计算与跨节符号一致性。
使用方式：以 $0 指定任务类型（derive、prove、formalize、stats、notation、verify），$1 提供方程、定理陈述、问题描述或数据描述。参考资料位于 ~/.claude/skills/math-reasoning/references/notation-guide.md（标准机器学习符号与统计检验）和 references/proof-templates.md（证明模板与定理环境）。
规则：所有符号首次使用前必须定义；全文符号保持一致；被引用的公式需编号；关键推导步骤用 \tag{reason} 标注；显式声明假设；证明中引用所用引理与既有结果。
适用场景：撰写或审阅含数学推导、定理证明与统计分析的学术论文。上游技能为 research-planning，下游为 algorithm-design、paper-writing-section，另见 symbolic-equation、data-analysis。
限制：资料未提供具体安装命令、收费方式、支持平台与效果数据，暂未提供。