math-skills
Skill298 starsChanged 8 months agoMITView on GitHub
6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
In this repository39 other files it gives its agents.
- dataviz-skillsSkill
- econometrics-skillsSkill
- statistics-skillsSkill
- wrangling-skillsSkill
- ai-ml-skillsSkill
- biomedical-skillsSkill
- business-skillsSkill
- chemistry-skillsSkill
- cs-skillsSkill
- ecology-skillsSkill
- economics-skillsSkill
- education-skillsSkill
- finance-skillsSkill
- geoscience-skillsSkill
- humanities-skillsSkill
- law-skillsSkill
- pharma-skillsSkill
- physics-skillsSkill
- social-science-skillsSkill
- discovery-skillsSkill
- fulltext-skillsSkill
- metadata-skillsSkill
- search-skillsSkill
- automation-skillsSkill
- deep-research-skillsSkill
- funding-skillsSkill
- methodology-skillsSkill
- paper-review-skillsSkill
- code-exec-skillsSkill
- diagram-skillsSkill
- document-skillsSkill
- knowledge-graph-skillsSkill
- ocr-translate-skillsSkill
- scraping-skillsSkill
- citation-skillsSkill
- composition-skillsSkill
- latex-skillsSkill
- polish-skillsSkill
- templates-skillsSkill
The file
Files
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 |
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.