/math - Unified Math Capabilities One entry point for all computation and explanation. I route to the right tool based on your request. For formal proofs, use instead. --- Quick Examples | 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 | --- Computation Scripts SymPy (Symbolic Math) | Command | Description | Example | |---------|---…