Free SKILL.md scraped from GitHub. Clone the repo or copy the file directly into your Claude Code skills directory.
npx versuz@latest install brycewang-stanford-awesome-agent-skills-for-empirical-research-skills-43-wentorai-research-plugins-skills-domains-mathgit clone https://github.com/brycewang-stanford/Awesome-Agent-Skills-for-Empirical-Research.gitcp Awesome-Agent-Skills-for-Empirical-Research/SKILL.MD ~/.claude/skills/brycewang-stanford-awesome-agent-skills-for-empirical-research-skills-43-wentorai-research-plugins-skills-domains-math/SKILL.md--- 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 |