/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)
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>
| Command |
Description |
Example |
solve |
Solve equations |
solve "x**2 - 4" --var x |
integrate |
Definite/indefinite integral |
integrate "sin(x)" --var x --lower 0 --upper pi |
diff |
Derivative |
diff "x**3" --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)
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args>
| Command |
Use Case |
sat |
Is this satisfiable? |
prove |
Is this always true? |
optimize |
Find min/max subject to constraints |
Pint (Units)
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>
Example: convert 5 miles kilometers
Math Router (Auto-Route)
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/math_router.py" route "<natural language request>"
Returns the exact command to run. Use when unsure which script.
Topic Skills (For Explanation)
When the request is "explain X" or "what is X", I reference these:
| Topic |
Skill Location |
Key Concepts |
| Abstract Algebra |
math/abstract-algebra/ |
Groups, rings, fields, homomorphisms |
| Category Theory |
math/category-theory/ |
Functors, natural transformations, limits |
| Complex Analysis |
math/complex-analysis/ |
Analytic functions, residues, contour integrals |
| Functional Analysis |
math/functional-analysis/ |
Banach spaces, operators, spectra |
| Linear Algebra |
math/linear-algebra/ |
Matrices, eigenspaces, decompositions |
| Mathematical Logic |
math/mathematical-logic/ |
Propositional, predicate, proof theory |
| Measure Theory |
math/measure-theory/ |
Lebesgue, Ο-algebras, integration |
| Real Analysis |
math/real-analysis/ |
Limits, continuity, convergence |
| Topology |
math/topology/ |
Open sets, compactness, connectedness |
| ODEs/PDEs |
math/odes-pdes/ |
Differential equations, boundary problems |
| Optimization |
math/optimization/ |
Convex, LP, gradient methods |
| Numerical Methods |
math/numerical-methods/ |
Approximation, error analysis |
| Graph/Number Theory |
math/graph-number-theory/ |
Graphs, primes, modular arithmetic |
| Information Theory |
math/information-theory/ |
Entropy, coding, channels |
Routing Logic
I decide based on your request:
"solve/calculate/compute" β SymPy (exact symbolic)
"is X always true?" β Z3 (constraint proving)
"convert units" β Pint
"explain/what is" β Topic skill for context
"prove formally" β Redirect to /prove
Examples
Solve Equation
User: Solve xΒ² - 5x + 6 = 0
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" solve "x**2 - 5*x + 6" --var x
Result: x = 2 or x = 3
Compute Eigenvalues
User: Find eigenvalues of [[2, 1], [1, 2]]
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" eigenvalues "[[2,1],[1,2]]"
Result: {1: 1, 3: 1} (eigenvalue 1 with multiplicity 1, eigenvalue 3 with multiplicity 1)
Prove Inequality
User: Is xΒ² + yΒ² β₯ 2xy always true?
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" prove "x**2 + y**2 >= 2*x*y"
Result: PROVED (equivalent to (x-y)Β² β₯ 0)
Convert Units
User: How many kilometers in 26.2 miles?
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert 26.2 miles kilometers
Result: 42.16 km
When to Use /prove Instead
Use /prove when you need:
- Machine-verified formal proof (Lean 4)
- Category theory proofs (functors, Yoneda, etc.)
- Publication-quality verification
- Abstract algebra proofs
/math is for computation. /prove is for verification.