io.github.tufantunc/axiom-math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Target client
run in your project directory
claude mcp add axiom-math -- npx -y axiom-mathsetup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok LangChain
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.