math

Installation
SKILL.md

/math - Unified Math Capabilities

One entry point for all computation and explanation. I route to the right tool based on your request.

For formal proofs, use /prove instead.


Quick Examples

You Say I Use
"Solve x² - 4 = 0" SymPy solve
"Integrate sin(x) from 0 to π" SymPy integrate
"Eigenvalues of [[1,2],[3,4]]" SymPy eigenvalues
"Is x² + 1 > 0 for all x?" Z3 prove
"Convert 5 miles to km" Pint
"Explain what a functor is" Category theory skill
Related skills
Installs
515
GitHub Stars
3.8K
First Seen
Jan 22, 2026