domains / science / math-computation-and-explanation / math
The two copies are different procedures for the same broad 'math' skill. The first is a self-contained router that executes computation via specific local scripts (SymPy, Z3, Pint) and references topic skills for explanation. The second is a catalog/index that directs the agent to read one of six separate sub-skills (Lean, Linear Algebra, Numerical Methods, OEIS, Symbolic Computation, TDA). Neither is a reproduction of the other; the first lacks the Lean/TDA/OEIS capabilities, and the second lacks the specific script-based execution logic and Z3/Pint integration of the first.
| Repository | Path |
|---|---|
| foryourhealth111-pixel/Vibe-Skills | bundled/skills/math/SKILL.md |
| brycewang-stanford/Auto-Empirical-Research-Skills | skills/43-wentorai-research-plugins/skills/domains/math/SKILL.md |
| Role | Repository | Path |
|---|---|---|
| peer | foryourhealth111-pixel/Vibe-Skills | bundled/skills/math/SKILL.md |
| peer | brycewang-stanford/Auto-Empirical-Research-Skills | skills/43-wentorai-research-plugins/skills/domains/math/SKILL.md |
--- name: math description: Unified math capabilities - computation, solving, and explanation. Routes to execution scripts or specialized sub-skills. --- # /math - Unified Math Capabilities **One entry point for all computation and explanation.** Route to the right tool based on the request. ## 1. Direct Computation (Execution) Use these scripts for immediate calculation and symbolic manipulation: ### SymPy (Symbolic Math) ```bash uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args> ``` Commands: `solve`, `integrate`, `diff`, `simplify`, `limit`, `series`, `dsolve`, `laplace`, `det`, `eigenvalues`, `factor`, `isprime`, etc. ### Z3 (Constraint Solving) ```bash uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/z3_solve.py" <command> <args> ``` Commands: `sat`, `prove`, `optimize` ### Pint (Units) ```bash uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/pint_compute.py" convert <value> <from_unit> <to_unit> ``` ## 2. Specialized Sub-Skills (Guides & APIs) For specific domains or formal verification, read the corresponding sub-skill: | Skill | Description | |-------|-------------| | `lean-theorem-proving-guide` | LLM agent for formal theorem proving in Lean 4 | | `linear-algebra-applications` | Apply linear algebra concepts to research computing | | `numerical-methods-guide` | Apply numerical methods and scientific computing techniques | | `oeis-api` | On-Line Encyclopedia of Integer Sequences API | | `symbolic-computation-guide` | Computer algebra systems: SymPy, SageMath, and Mathematica | | `topology-data-analysis` | Topological data analysis: persistent homology, Mapper, and TDA tools | ## Routing Logic - "solve/calculate/compute" → SymPy script - "is X always true?" → Z3 script - "convert units" → Pint script - "prove formally in Lean" → Read `lean-theorem-proving-guide` - "topological data analysis" → Read `topology-data-analysis` - "integer sequence lookup" → Read `oeis-api` - "explain/what is" → Reference topic skills or sub-skills for context