🇺🇸English
/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 |
Matrix Operations:
| Command | Description |
|---|
det | Determinant |
eigenvalues | Eigenvalues |
eigenvectors | Eigenvectors with multiplicities |
inverse | Matrix inverse |
transpose | Transpose |
rref | Row echelon form |
|
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 |
|
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.
Weekly Installs
270
Repository
parcadei/contin…laude-v3
GitHub Stars
3.6K
First Seen
Jan 22, 2026
Security Audits
Gen Agent Trust HubPassSocketPassSnykPass
Installed on
opencode265
codex263
gemini-cli261
cursor258
github-copilot258
amp253
