math

SKILL.md

One entry point for all computation and explanation. I route to the right tool based on your request.

| "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 |

| solve | Solve equations | solve "x2 - 4" --var x | | integrate | Definite/indefinite integral | integrate "sin(x)" --var x --lower 0 --upper pi | | diff | Derivative | diff "x3" --var x | | simplify | Simplify expression | simplify "sin(x)2 + cos(x)2" | | limit | Compute limit | limit "sin(x)/x" --var x --point 0 |

查看原文