Loading MCP servers…
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
This server publishes no hosted endpoint. Run one of its packages locally.
axiom-math · npm 1.0.5 · stdio
claude mcp add --transport stdio axiom-math -- npx -y axiom-math@1.0.5