Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add axiom-advanced-math -- npx -y axiom-math~/.codex/config.toml
[mcp_servers.axiom-advanced-math]
command = "npx"
args = ["-y", "axiom-math"]
# codex mcp add axiom-advanced-math -- npx -y axiom-math~/.cursor/mcp.json
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}.vscode/mcp.json
{
"servers": {
"axiom-advanced-math": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}