About math-skills
math-skills is a collection of six skills covering mathematical methods, research computing, and mathematics-related data sources. It is for research work involving topics from Lean theorem proving and numerical methods to sequence lookup and topology data analysis.
Key features
- 01Lean 4 theorem-proving guidance
- 02Linear algebra applications
- 03Numerical methods and scientific computing
- 04OEIS sequence lookup
- 05Symbolic computation guidance
- 06Topological data analysis
Use cases
- 01Working on formal proofs in Lean 4
- 02Applying linear algebra to research data
- 03Choosing numerical computing methods
- 04Looking up integer sequences in OEIS
Install
Copy the command and run it in a terminal.
$
npx skills add https:/After installing, type/math-skillsin Claude Code to confirm it loaded.
Details
From the project READMEMathematics — 6 Skills
Select the skill matching the user's need, then read its SKILL.md.
| Skill | Description |
|---|---|
| lean-theorem-proving-guide | LLM agent for formal theorem proving in Lean 4 |
| linear-algebra-applications | Apply linear algebra concepts to research computing and data analysis |
| numerical-methods-guide | Apply numerical methods and scientific computing techniques |
| oeis-api | On-Line Encyclopedia of Integer Sequences API |
| symbolic-computation-guide | Computer algebra systems: SymPy, SageMath, and Mathematica for research |
| topology-data-analysis | Topological data analysis: persistent homology, Mapper, and TDA tools |
Comments
Markdown supported