Agent skill · research science · parcadei
math
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
Why this skill is useful
Adds multiple executable scripts for symbolic computation, constraint solving, and unit conversion that significantly enhance the AI's mathematical capabilities.
What it needs
Requires python installed locally. About 4k tokens when loaded. Last updated 2026-01-26. 3,881 stars on the source repository.
What this skill does
/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 --- Computation Scripts SymPy (Symbolic Math) Command Description Example --------- ------------- --------- solve Solve equations solve "x2 - 4" --var x integrate Definite/indefinite integral integrate "sin(x)" --var x --lower 0 --upper pi diff Derivative diff "x3" --var x simplify Simplify expression simplify "sin(x)2 + cos(x)2" limit Compute limit limit "sin(x)/x" --var x --point 0 series Taylor expansion series "exp(x)" --var x --point 0 --n 5 dsolve Solve ODE dsolve "f''(x) + f(x)" --func f --var x laplace Laplace transform laplace "sin(t)" --var t Matrix Operations: Command Description --------- ------------- det Determinant eigenvalues Eigenvalues eigenvectors Eigenvectors with multiplicities inverse Matrix inverse transpose Transpose rref Row echelon form rank Matrix rank nullspace Null space basis linsolve Linear system Ax=b charpoly Characteristic polynomial Number Theory: Command Description --------- ------------- factor Factor polynomial factorint Prime factorization isprime Primality test gcd Greatest common divisor lcm Least common multiple modinverse Modular inverse Combinatorics: Command Description --------- ------------- binomial C(n,k) factorial n! permutation P(n,k) partition Integer partitions p(n) catalan Catalan numbers bell Bell numbers --- Z3 (Constraint Solving) Command Use Case --------- ---------- sat Is this satisfiable? prove Is this always true? optimize Find min/max subject to constraints --- Pint (Units) Example: convert 5 miles kilometers --- Math Router (Auto-Route) Return …
How to use it
Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:
@skills parcadei/math-unified