← LeaderboardThe Skill Leaderboard

math-skills

6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides.

Published by brycewang-stanford ↗brycewang-stanford/Auto-Empirical-Research-Skills

Try your first task

math-skills

Start a fresh conversation. Replace the highlighted placeholders.

Use math-skills to solve [symbolic algebra or calculus problem] by providing explicit assumptions, a step-by-step derivation, and checkable symbolic code or verification.

Required inputs

  • [symbolic algebra or calculus problem]

User-approved starter prompt based on a pinned source version; check current skill requirements before running. Task evidence ↗

SKILL.md

name: math-skillsdescription: "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.

SkillDescription
lean-theorem-proving-guideLLM agent for formal theorem proving in Lean 4
linear-algebra-applicationsApply linear algebra concepts to research computing and data analysis
numerical-methods-guideApply numerical methods and scientific computing techniques
oeis-apiOn-Line Encyclopedia of Integer Sequences API
symbolic-computation-guideComputer algebra systems: SymPy, SageMath, and Mathematica for research
topology-data-analysisTopological data analysis: persistent homology, Mapper, and TDA tools