math-unified

Name: math-unified
Author: parcadei

3.9kstars297forks

How to install math-unified?

parcadei/continuous-claude-v3/math-unified

$npx -y skills add parcadei/Continuous-Claude-v3 --skill math-unified

Installs into the current project.

Summary

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

Files · 1

View on GitHub

SKILL.md

1	# /math - Unified Math Capabilities
2
3	One entry point for all computation and explanation. I route to the right tool based on your request.
4
5	For formal proofs, use `/prove` instead.
6
7	---
8
9	## Quick Examples
10
11	\| You Say \| I Use \|
12	\|---------\|-------\|
13	\| "Solve x² - 4 = 0" \| SymPy solve \|
14	\| "Integrate sin(x) from 0 to π" \| SymPy integrate \|
15	\| "Eigenvalues of [[1,2],[3,4]]" \| SymPy eigenvalues \|
16	\| "Is x² + 1 > 0 for all x?" \| Z3 prove \|
17	\| "Convert 5 miles to km" \| Pint \|
18	\| "Explain what a functor is" \| Category theory skill \|
19
20	---
21
22	## Computation Scripts
23
24	### SymPy (Symbolic Math)
25	```bash
26	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>
27	```
28
29	\| Command \| Description \| Example \|
30	\|---------\|-------------\|---------\|
31	\| `solve` \| Solve equations \| `solve "x**2 - 4" --var x` \|
32	\| `integrate` \| Definite/indefinite integral \| `integrate "sin(x)" --var x --lower 0 --upper pi` \|
33	\| `diff` \| Derivative \| `diff "x**3" --var x` \|
34	\| `simplify` \| Simplify expression \| `simplify "sin(x)2 + cos(x)2"` \|
35	\| `limit` \| Compute limit \| `limit "sin(x)/x" --var x --point 0` \|
36	\| `series` \| Taylor expansion \| `series "exp(x)" --var x --point 0 --n 5` \|
37	\| `dsolve` \| Solve ODE \| `dsolve "f''(x) + f(x)" --func f --var x` \|
38	\| `laplace` \| Laplace transform \| `laplace "sin(t)" --var t` \|
39
40	Matrix Operations:
41	\| Command \| Description \|
42	\|---------\|-------------\|
43	\| `det` \| Determinant \|
44	\| `eigenvalues` \| Eigenvalues \|
45	\| `eigenvectors` \| Eigenvectors with multiplicities \|
46	\| `inverse` \| Matrix inverse \|
47	\| `transpose` \| Transpose \|
48	\| `rref` \| Row echelon form \|
49	\| `rank` \| Matrix rank \|
50	\| `nullspace` \| Null space basis \|
51	\| `linsolve` \| Linear system Ax=b \|
52	\| `charpoly` \| Characteristic polynomial \|
53
54	Number Theory:
55	\| Command \| Description \|
56	\|---------\|-------------\|
57	\| `factor` \| Factor polynomial \|
58	\| `factorint` \| Prime factorization \|
59	\| `isprime` \| Primality test \|
60	\| `gcd` \| Greatest common divisor \|
61	\| `lcm` \| Least common multiple \|
62	\| `modinverse` \| Modular inverse \|
63
64	Combinatorics:
65	\| Command \| Description \|
66	\|---------\|-------------\|
67	\| `binomial` \| C(n,k) \|
68	\| `factorial` \| n! \|
69	\| `permutation` \| P(n,k) \|
70	\| `partition` \| Integer partitions p(n) \|
71	\| `catalan` \| Catalan numbers \|
72	\| `bell` \| Bell numbers \|
73
74	---
75
76	### Z3 (Constraint Solving)
77	```bash
78	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args>
79	```
80
81	\| Command \| Use Case \|
82	\|---------\|----------\|
83	\| `sat` \| Is this satisfiable? \|
84	\| `prove` \| Is this always true? \|
85	\| `optimize` \| Find min/max subject to constraints \|
86
87	---
88
89	### Pint (Units)
90	```bash
91	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>
92	```
93
94	Example: `convert 5 miles kilometers`
95
96	---
97
98	### Math Router (Auto-Route)
99	```bash
100	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/math_router.py" route "<natural language request>"
101	```
102
103	Returns the exact command to run. Use when unsure which script.
104
105	---
106
107	## Topic Skills (For Explanation)
108
109	When the request is "explain X" or "what is X", I reference these:
110
111	\| Topic \| Skill Location \| Key Concepts \|
112	\|-------\|----------------\|--------------\|
113	\| Abstract Algebra \| `math/abstract-algebra/` \| Groups, rings, fields, homomorphisms \|
114	\| Category Theory \| `math/category-theory/` \| Functors, natural transformations, limits \|
115	\| Complex Analysis \| `math/complex-analysis/` \| Analytic functions, residues, contour integrals \|
116	\| Functional Analysis \| `math/functional-analysis/` \| Banach spaces, operators, spectra \|
117	\| Linear Algebra \| `math/linear-algebra/` \| Matrices, eigenspaces, decompositions \|
118	\| Mathematical Logic \| `math/mathematical-logic/` \| Propositional, predicate, proof theory \|
119	\| Measure Theory \| `math/measure-theory/` \| Lebesgue, σ-algebras, integration \|
120	\| Real Analysis \| `math/real-analysis/` \| Limits, continuity, convergence \|
121	\| Topology \| `math/topology/` \| Open sets, compactness, connectedness \|
122	\| ODEs/PDEs \| `math/odes-pdes/` \| Differential equations, boundary problems \|
123	\| Optimization \| `math/optimization/` \| Convex, LP, gradient methods \|
124	\| Numerical Methods \| `math/numerical-methods/` \| Approximation, error analysis \|
125	\| Graph/Number Theory \| `math/graph-number-theory/` \| Graphs, primes, modular arithmetic \|
126	\| Information Theory \| `math/information-theory/` \| Entropy, coding, channels \|
127
128	---
129
130	## Routing Logic
131
132	I decide based on your request:
133
134	```
135	"solve/calculate/compute" → SymPy (exact symbolic)
136	"is X always true?" → Z3 (constraint proving)
137	"convert units" → Pint
138	"explain/what is" → Topic skill for contex

People who liked this also viewed

6 picks

Type

find-skillsHelps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skSkillsJul 20262.6M27k
grill-meA relentless interview to sharpen a plan or design.SkillsJul 2026633k182k
vercel-react-best-practicesVercel's official collection of agent skillsSkillsJul 2026573k29k
improve-codebase-architectureScan a codebase for deepening opportunities, present them as a visual HTML report, then grill through whichever one you pick.SkillsJul 2026522k182k
setup-matt-pocock-skillsConfigure this repo for the engineering skills — set up its issue tracker, triage label vocabulary, and domain doc layout. Run once before first use of the other engineering skills.SkillsJul 2026454k182k
triageMove issues and external PRs through a state machine of triage roles — categorise, verify, grill if needed, and write agent-ready briefs.SkillsJul 2026424k182k

math-unified

3.9kstars297forks

View on GitHub

How to install math-unified?

parcadei/continuous-claude-v3/math-unified

$npx -y skills add parcadei/Continuous-Claude-v3 --skill math-unified

Installs into the current project.

Summary

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

Files · 1

View on GitHub

SKILL.md

1	# /math - Unified Math Capabilities
2
3	One entry point for all computation and explanation. I route to the right tool based on your request.
4
5	For formal proofs, use `/prove` instead.
6
7	---
8
9	## Quick Examples
10
11	\| You Say \| I Use \|
12	\|---------\|-------\|
13	\| "Solve x² - 4 = 0" \| SymPy solve \|
14	\| "Integrate sin(x) from 0 to π" \| SymPy integrate \|
15	\| "Eigenvalues of [[1,2],[3,4]]" \| SymPy eigenvalues \|
16	\| "Is x² + 1 > 0 for all x?" \| Z3 prove \|
17	\| "Convert 5 miles to km" \| Pint \|
18	\| "Explain what a functor is" \| Category theory skill \|
19
20	---
21
22	## Computation Scripts
23
24	### SymPy (Symbolic Math)
25	```bash
26	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>
27	```
28
29	\| Command \| Description \| Example \|
30	\|---------\|-------------\|---------\|
31	\| `solve` \| Solve equations \| `solve "x**2 - 4" --var x` \|
32	\| `integrate` \| Definite/indefinite integral \| `integrate "sin(x)" --var x --lower 0 --upper pi` \|
33	\| `diff` \| Derivative \| `diff "x**3" --var x` \|
34	\| `simplify` \| Simplify expression \| `simplify "sin(x)2 + cos(x)2"` \|
35	\| `limit` \| Compute limit \| `limit "sin(x)/x" --var x --point 0` \|
36	\| `series` \| Taylor expansion \| `series "exp(x)" --var x --point 0 --n 5` \|
37	\| `dsolve` \| Solve ODE \| `dsolve "f''(x) + f(x)" --func f --var x` \|
38	\| `laplace` \| Laplace transform \| `laplace "sin(t)" --var t` \|
39
40	Matrix Operations:
41	\| Command \| Description \|
42	\|---------\|-------------\|
43	\| `det` \| Determinant \|
44	\| `eigenvalues` \| Eigenvalues \|
45	\| `eigenvectors` \| Eigenvectors with multiplicities \|
46	\| `inverse` \| Matrix inverse \|
47	\| `transpose` \| Transpose \|
48	\| `rref` \| Row echelon form \|
49	\| `rank` \| Matrix rank \|
50	\| `nullspace` \| Null space basis \|
51	\| `linsolve` \| Linear system Ax=b \|
52	\| `charpoly` \| Characteristic polynomial \|
53
54	Number Theory:
55	\| Command \| Description \|
56	\|---------\|-------------\|
57	\| `factor` \| Factor polynomial \|
58	\| `factorint` \| Prime factorization \|
59	\| `isprime` \| Primality test \|
60	\| `gcd` \| Greatest common divisor \|
61	\| `lcm` \| Least common multiple \|
62	\| `modinverse` \| Modular inverse \|
63
64	Combinatorics:
65	\| Command \| Description \|
66	\|---------\|-------------\|
67	\| `binomial` \| C(n,k) \|
68	\| `factorial` \| n! \|
69	\| `permutation` \| P(n,k) \|
70	\| `partition` \| Integer partitions p(n) \|
71	\| `catalan` \| Catalan numbers \|
72	\| `bell` \| Bell numbers \|
73
74	---
75
76	### Z3 (Constraint Solving)
77	```bash
78	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args>
79	```
80
81	\| Command \| Use Case \|
82	\|---------\|----------\|
83	\| `sat` \| Is this satisfiable? \|
84	\| `prove` \| Is this always true? \|
85	\| `optimize` \| Find min/max subject to constraints \|
86
87	---
88
89	### Pint (Units)
90	```bash
91	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>
92	```
93
94	Example: `convert 5 miles kilometers`
95
96	---
97
98	### Math Router (Auto-Route)
99	```bash
100	uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/math_router.py" route "<natural language request>"
101	```
102
103	Returns the exact command to run. Use when unsure which script.
104
105	---
106
107	## Topic Skills (For Explanation)
108
109	When the request is "explain X" or "what is X", I reference these:
110
111	\| Topic \| Skill Location \| Key Concepts \|
112	\|-------\|----------------\|--------------\|
113	\| Abstract Algebra \| `math/abstract-algebra/` \| Groups, rings, fields, homomorphisms \|
114	\| Category Theory \| `math/category-theory/` \| Functors, natural transformations, limits \|
115	\| Complex Analysis \| `math/complex-analysis/` \| Analytic functions, residues, contour integrals \|
116	\| Functional Analysis \| `math/functional-analysis/` \| Banach spaces, operators, spectra \|
117	\| Linear Algebra \| `math/linear-algebra/` \| Matrices, eigenspaces, decompositions \|
118	\| Mathematical Logic \| `math/mathematical-logic/` \| Propositional, predicate, proof theory \|
119	\| Measure Theory \| `math/measure-theory/` \| Lebesgue, σ-algebras, integration \|
120	\| Real Analysis \| `math/real-analysis/` \| Limits, continuity, convergence \|
121	\| Topology \| `math/topology/` \| Open sets, compactness, connectedness \|
122	\| ODEs/PDEs \| `math/odes-pdes/` \| Differential equations, boundary problems \|
123	\| Optimization \| `math/optimization/` \| Convex, LP, gradient methods \|
124	\| Numerical Methods \| `math/numerical-methods/` \| Approximation, error analysis \|
125	\| Graph/Number Theory \| `math/graph-number-theory/` \| Graphs, primes, modular arithmetic \|
126	\| Information Theory \| `math/information-theory/` \| Entropy, coding, channels \|
127
128	---
129
130	## Routing Logic
131
132	I decide based on your request:
133
134	```
135	"solve/calculate/compute" → SymPy (exact symbolic)
136	"is X always true?" → Z3 (constraint proving)
137	"convert units" → Pint
138	"explain/what is" → Topic skill for contex

People who liked this also viewed

6 picks

Type