用途：math-skills 是一组面向数学与科研计算的技能集合，共包含 6 个技能。使用时先选择与用户需求匹配的技能，再阅读其 SKILL.md 获取具体说明。
主要能力：lean-theorem-proving-guide 用于 Lean 4 中的形式化定理证明；linear-algebra-applications 将线性代数概念应用于科研计算与数据分析；numerical-methods-guide 应用数值方法与科学计算技术；oeis-api 对接整数序列在线百科全书（OEIS）API；symbolic-computation-guide 涉及 SymPy、SageMath 与 Mathematica 等计算机代数系统；topology-data-analysis 涉及持续同调、Mapper 与 TDA 工具。
使用方式：资料仅说明按需选择技能并阅读对应 SKILL.md，未提供具体安装命令、调用示例或代码。
适用场景：数学证明与定理证明、数值与科学计算、线性代数相关研究计算、整数序列查询、符号计算，以及拓扑数据分析。
限制：资料未提供各技能的详细参数、依赖环境、平台支持、收费方式与效果说明，这些信息暂未提供。