Mathematics — 6 Skills
SkillMedia6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the Mathematics skill
What this skill tells your AI
The instructions your AI receives, as published by brycewang-stanford/auto-empirical-research-skills in skills/43-wentorai-research-plugins/skills/domains/math/SKILL.md and read by ahel’s review.
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 |
Signals
- GitHub stars
- 4k
- Forks
- 531
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
math-skills- Source
- github.com/brycewang-stanford/auto-empirical-research-skills