axiom-advanced-math-mcp

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "axiom-math": {
      "command": "npx",
      "args": [
        "axiom-math"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://github.com/tufantunc/axiom-advanced-math-mcp

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "axiom-math": {
      "command": "npx",
      "args": [
        "axiom-math"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers