Loading...
Loading...
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
npx skill4agent add parcadei/continuous-claude-v3 math/prove| 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 |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>| Command | Description | Example |
|---|---|---|
| Solve equations | |
| Definite/indefinite integral | |
| Derivative | |
| Simplify expression | |
| Compute limit | |
| Taylor expansion | |
| Solve ODE | |
| Laplace transform | |
| Command | Description |
|---|---|
| Determinant |
| Eigenvalues |
| Eigenvectors with multiplicities |
| Matrix inverse |
| Transpose |
| Row echelon form |
| Matrix rank |
| Null space basis |
| Linear system Ax=b |
| Characteristic polynomial |
| Command | Description |
|---|---|
| Factor polynomial |
| Prime factorization |
| Primality test |
| Greatest common divisor |
| Least common multiple |
| Modular inverse |
| Command | Description |
|---|---|
| C(n,k) |
| n! |
| P(n,k) |
| Integer partitions p(n) |
| Catalan numbers |
| Bell numbers |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args>| Command | Use Case |
|---|---|
| Is this satisfiable? |
| Is this always true? |
| Find min/max subject to constraints |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>convert 5 miles kilometersuv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/math_router.py" route "<natural language request>"| Topic | Skill Location | Key Concepts |
|---|---|---|
| Abstract Algebra | | Groups, rings, fields, homomorphisms |
| Category Theory | | Functors, natural transformations, limits |
| Complex Analysis | | Analytic functions, residues, contour integrals |
| Functional Analysis | | Banach spaces, operators, spectra |
| Linear Algebra | | Matrices, eigenspaces, decompositions |
| Mathematical Logic | | Propositional, predicate, proof theory |
| Measure Theory | | Lebesgue, σ-algebras, integration |
| Real Analysis | | Limits, continuity, convergence |
| Topology | | Open sets, compactness, connectedness |
| ODEs/PDEs | | Differential equations, boundary problems |
| Optimization | | Convex, LP, gradient methods |
| Numerical Methods | | Approximation, error analysis |
| Graph/Number Theory | | Graphs, primes, modular arithmetic |
| Information Theory | | Entropy, coding, channels |
"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 /proveUser: 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 = 3User: 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)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)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/prove/math/prove