Back to skills
SKILL.md
Math
ASecurity6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
- 3,639 stars
- 0 votes
- 3 copies
- 23 views
- Added June 6, 2026
Works with
Security analysis
100/100Pro scans all 7 files and shows the line behind each finding
npx -y skills add brycewang-stanford/Auto-Empirical-Research-Skills --skill math --agent claude-codeAre you the author of Math?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/brycewang-stanford-math)---
name: math-skills
description: "6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides."
---
# Mathematics — 6 Skills
Select the skill matching the user's need, then `read` its SKILL.md.
| Skill | Description |
|-------|-------------|
| [lean-theorem-proving-guide](./lean-theorem-proving-guide/SKILL.md) | LLM agent for formal theorem proving in Lean 4 |
| [linear-algebra-applications](./linear-algebra-applications/SKILL.md) | Apply linear algebra concepts to research computing and data analysis |
| [numerical-methods-guide](./numerical-methods-guide/SKILL.md) | Apply numerical methods and scientific computing techniques |
| [oeis-api](./oeis-api/SKILL.md) | On-Line Encyclopedia of Integer Sequences API |
| [symbolic-computation-guide](./symbolic-computation-guide/SKILL.md) | Computer algebra systems: SymPy, SageMath, and Mathematica for research |
| [topology-data-analysis](./topology-data-analysis/SKILL.md) | Topological data analysis: persistent homology, Mapper, and TDA tools |
Files in this skill
- SKILL.md
- lean-theorem-proving-guide/SKILL.md
- linear-algebra-applications/SKILL.md
- numerical-methods-guide/SKILL.md
- oeis-api/SKILL.md
- symbolic-computation-guide/SKILL.md
- topology-data-analysis/SKILL.md
Attribution
Comments
Loading comments…