axiom-math

Use when a task needs mathematics that must be exact rather than estimated — symbolic integration or differentiation, solving equations, factoring, limits, series, matrix algebra, combinatorics, or checking whether a mathematical claim is actually true. Runs a computer algebra system (Giac/Xcas) locally via a CLI, so results are computed rather than recalled.