Math
6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.From its SKILL.md
npx -y skills add brycewang-stanford/Auto-Empirical-Research-Skills --skill mathAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- no licenseNo license file was found in the repository. Code published without one is not open source by default, so using it at work is a question for whoever answers licensing questions where you are.
SKILL.md
1.1 KB, 224 tokens by cl100k_base, as published. Nobody here has run it
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 |
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.