Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Runs locally over stdio
This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).
Run
npx -y axiom-math
MCP client config
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}