math

by @parcadei in AI & LLM

3,433

266

# Install this skill:

npx skills add parcadei/Continuous-Claude-v3 --skill "math"

Install specific skill from multi-skill repository

# Description

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

# SKILL.md

name: math
description: Unified math capabilities - computation, solving, and explanation. I route to the right tool.
triggers: ["calculate", "compute", "solve", "integrate", "derivative", "eigenvalue", "matrix", "simplify", "factor", "limit", "series", "differential equation", "unit convert", "explain", "what is", "how does"]
allowed-tools: [Bash, Read, Write]
priority: high

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

# Supported AI Coding Agents

This skill is compatible with the SKILL.md standard and works with all major AI coding agents:

⚡ Amp 🚀 Antigravity 🤖 Claude Code 🦀 Clawdbot 📝 Codex ▶️ Cursor 🤖 Droid 💎 Gemini CLI 🐙 GitHub Copilot 🪿 Goose 📊 Kilo Code 🔧 Kiro CLI 💻 OpenCode 🦘 Roo Code 🌲 Trae 🏄 Windsurf

Learn more about the SKILL.md standard and how to use these skills with your preferred AI coding agent.