一键导入
math-router
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern
| name | math-router |
| description | Deterministic router for math cognitive stack - maps user intent to exact CLI commands |
| triggers | ["math","calculate","compute","solve","integrate","derivative","plot","convert","prove"] |
| priority | high |
| user-invocable | false |
ALWAYS use this router first for math requests.
Instead of reading individual skill documentation, call the router to get the exact command:
# Route any math intent to get the CLI command
uv run python scripts/cc_math/math_router.py route "<user's math request>"
uv run python scripts/cc_math/math_router.py route "integrate sin(x) from 0 to pi"{
"command": "uv run python scripts/cc_math/sympy_compute.py integrate \"sin(x)\" --var x --lower 0 --upper pi",
"confidence": 0.95
}
| Category | Commands |
|---|---|
| sympy | integrate, diff, solve, simplify, limit, det, eigenvalues, inv, expand, factor, series, laplace, fourier |
| pint | convert, check |
| shapely | create, measure, pred, op |
| z3 | prove, sat, optimize |
| scratchpad | verify, explain |
| tutor | hint, steps, generate |
| plot | plot2d, plot3d, latex |
# List all available routes
uv run python scripts/cc_math/math_router.py list
# List routes by category
uv run python scripts/cc_math/math_router.py list --category sympy
If the router returns {"command": null}, the intent wasn't recognized. Then: