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
More from wentorai/research-plugins
academic-paper-summarizer
Summarize academic papers with structured extraction of key elements
40academic-translation-guide
Academic translation, post-editing, and Chinglish correction guide
30academic-writing-refiner
Checklist-driven academic English polishing and Chinglish correction
27academic-citation-manager
Manage academic citations across BibTeX, APA, MLA, and Chicago formats
26ai-writing-humanizer
Remove AI-generated patterns to produce natural, authentic academic writing
12abstract-writing-guide
Craft structured research abstracts that maximize clarity and journal acceptance
12