math

combined

6 mathematics skills. Trigger: mathematical proofs, theorem proving, numerical methods, linear algebra. Design: formal verification tools and computational mathematics guides. Unified math capabilities - computation, solving, and explanation. I route to the right tool.

When to use

Machine-verified formal proof (Lean 4)
Category theory proofs (functors, Yoneda, etc.)
Publication-quality verification
Abstract algebra proofs

When not to use

formal proofs

Skill page

Conflict

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.