Awesome-Agent-Skills-for-Empirical-Research math-skills
6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.
install
source · Clone the upstream repo
git clone https://github.com/brycewang-stanford/Awesome-Agent-Skills-for-Empirical-Research
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/brycewang-stanford/Awesome-Agent-Skills-for-Empirical-Research "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/43-wentorai-research-plugins/skills/domains/math" ~/.claude/skills/brycewang-stanford-awesome-agent-skills-for-empirical-research-math-skills && rm -rf "$T"
manifest:
skills/43-wentorai-research-plugins/skills/domains/math/SKILL.mdsource content
Mathematics — 6 Skills
Select the skill matching the user's need, then
read| 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 |