关于 math-skills
math-skills 汇集 6 项数学技能，涵盖数学方法、科研计算与相关数据源，适用于 Lean 定理证明、数值计算、序列检索和拓扑数据分析等研究任务。
主要功能
- 01Lean 4 定理证明指南
- 02线性代数应用
- 03数值方法与科学计算
- 04OEIS 数列查询
- 05符号计算指南
- 06拓扑数据分析
适用场景
- 01使用 Lean 4 进行形式化证明
- 02将线性代数用于研究数据
- 03选择数值计算方法
- 04在 OEIS 查询整数数列
安装
复制下面的命令，在终端中运行。
$
npx skills add https:/安装后在 Claude Code 中输入/math-skills确认已加载。
详细介绍
数学 — 6 项技能
选择符合用户需求的技能，然后 read 其 SKILL.md。
| 技能 | 描述 |
|---|---|
| lean-theorem-proving-guide | 用于 Lean 4 形式化定理证明的 LLM Agent |
| linear-algebra-applications | 将线性代数概念应用于科研计算和数据分析 |
| numerical-methods-guide | 应用数值方法和科学计算技术 |
| oeis-api | 在线整数数列百科全书 API |
| symbolic-computation-guide | 用于科研的计算机代数系统：SymPy、SageMath 和 Mathematica |
| topology-data-analysis | 拓扑数据分析：持久同调、Mapper 和 TDA 工具 |
评论
支持 Markdown