math by parcadei/continuous-claude-v3
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill math所有计算和解释的统一入口点。 我会根据您的请求路由到正确的工具。
如需形式化证明,请改用 /prove。
| 您说 | 我使用 |
|---|---|
| "求解 x² - 4 = 0" | SymPy 求解 |
| "对 sin(x) 从 0 到 π 积分" | SymPy 积分 |
| "[[1,2],[3,4]] 的特征值" | SymPy 特征值 |
| "x² + 1 > 0 对所有 x 都成立吗?" | Z3 证明 |
| "将 5 英里转换为公里" | Pint |
| "解释什么是函子" | 范畴论技能 |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>
广告位招租
在这里展示您的产品或服务
触达数万 AI 开发者,精准高效
| 命令 | 描述 | 示例 |
|---|---|---|
solve | 求解方程 | solve "x**2 - 4" --var x |
integrate | 定积分/不定积分 | integrate "sin(x)" --var x --lower 0 --upper pi |
diff | 导数 | diff "x**3" --var x |
simplify | 简化表达式 | simplify "sin(x)**2 + cos(x)**2" |
limit | 计算极限 | limit "sin(x)/x" --var x --point 0 |
series | 泰勒展开 | series "exp(x)" --var x --point 0 --n 5 |
dsolve | 求解常微分方程 | dsolve "f''(x) + f(x)" --func f --var x |
laplace | 拉普拉斯变换 | laplace "sin(t)" --var t |
矩阵运算:
| 命令 | 描述 |
|---|---|
det | 行列式 |
eigenvalues | 特征值 |
eigenvectors | 特征向量及其重数 |
inverse | 矩阵逆 |
transpose | 转置 |
rref | 行阶梯形 |
rank | 矩阵秩 |
nullspace | 零空间基 |
linsolve | 线性系统 Ax=b |
charpoly | 特征多项式 |
数论:
| 命令 | 描述 |
|---|---|
factor | 因式分解多项式 |
factorint | 质因数分解 |
isprime | 素数测试 |
gcd | 最大公约数 |
lcm | 最小公倍数 |
modinverse | 模逆元 |
组合数学:
| 命令 | 描述 |
|---|---|
binomial | C(n,k) |
factorial | n! |
permutation | P(n,k) |
partition | 整数分拆 p(n) |
catalan | 卡特兰数 |
bell | 贝尔数 |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args>
| 命令 | 使用场景 |
|---|---|
sat | 这个公式可满足吗? |
prove | 这个公式总是成立吗? |
optimize | 在约束条件下寻找最小值/最大值 |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>
示例: convert 5 miles kilometers
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/math_router.py" route "<自然语言请求>"
返回要运行的精确命令。当不确定使用哪个脚本时使用。
当请求是"解释 X"或"什么是 X"时,我参考以下内容:
| 主题 | 技能位置 | 关键概念 |
|---|---|---|
| 抽象代数 | math/abstract-algebra/ | 群、环、域、同态 |
| 范畴论 | math/category-theory/ | 函子、自然变换、极限 |
| 复分析 | math/complex-analysis/ | 解析函数、留数、围道积分 |
| 泛函分析 | math/functional-analysis/ | 巴拿赫空间、算子、谱 |
| 线性代数 | math/linear-algebra/ | 矩阵、特征空间、分解 |
| 数理逻辑 | math/mathematical-logic/ | 命题逻辑、谓词逻辑、证明论 |
| 测度论 | math/measure-theory/ | 勒贝格测度、σ-代数、积分 |
| 实分析 | math/real-analysis/ | 极限、连续性、收敛性 |
| 拓扑学 | math/topology/ | 开集、紧性、连通性 |
| 常微分方程/偏微分方程 | math/odes-pdes/ | 微分方程、边值问题 |
| 优化 | math/optimization/ | 凸优化、线性规划、梯度方法 |
| 数值方法 | math/numerical-methods/ | 近似、误差分析 |
| 图论/数论 | math/graph-number-theory/ | 图、素数、模运算 |
| 信息论 | math/information-theory/ | 熵、编码、信道 |
我根据您的请求决定:
"求解/计算" → SymPy (精确符号计算)
"X 总是成立吗?" → Z3 (约束证明)
"转换单位" → Pint
"解释/什么是" → 主题技能以获取上下文
"形式化证明" → 重定向到 /prove
用户: 求解 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
结果: x = 2 或 x = 3
用户: 求 [[2, 1], [1, 2]] 的特征值
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" eigenvalues "[[2,1],[1,2]]"
结果: {1: 1, 3: 1} (特征值 1 重数为 1,特征值 3 重数为 1)
用户: x² + y² ≥ 2xy 总是成立吗?
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" prove "x**2 + y**2 >= 2*x*y"
结果: 已证明 (等价于 (x-y)² ≥ 0)
用户: 26.2 英里是多少公里?
Claude: uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert 26.2 miles kilometers
结果: 42.16 公里
当您需要时,请使用 /prove:
/math 用于计算。/prove 用于验证。
每周安装次数
270
仓库
GitHub 星标数
3.6K
首次出现
2026年1月22日
安全审计
安装于
opencode265
codex263
gemini-cli261
cursor258
github-copilot258
amp253
One entry point for all computation and explanation. I route to the right tool based on your request.
For formal proofs, use /prove instead.
| 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 | 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 |
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 |
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit>
Example: convert 5 miles kilometers
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.
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 |
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
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
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)
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
Use /prove when you need:
/math is for computation. /prove is for verification.
Weekly Installs
270
Repository
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
xdrop 文件传输脚本:Bun 环境下安全上传下载工具,支持加密分享
20,700 周安装
| 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 |
rank| Matrix rank |
nullspace | Null space basis |
linsolve | Linear system Ax=b |
charpoly | Characteristic polynomial |
| 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 |