math

/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.