axiom-math
01tufantunc/axiom-advanced-math-mcp
MCP server Claude CodeCodexCursor +2
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. Runs locally from the axiom-math npm package.
not rated 2 yesterday A
tokens not measured
GPL-3.0