math-skills

Installation
SKILL.md

Mathematics — 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
Related skills
Installs
2
GitHub Stars
211
First Seen
Apr 2, 2026