HomeDatabases & Data › Axiom — Advanced Math

Axiom — Advanced Math

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

TypeScript Local macOSLinux
★ 2 stars Last pushed 2026-09-14 License: GPL-3.0

Topics: Data Science Tools

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package (npm 1.0.5)

npx -y axiom-math@1.0.5

Or add to your MCP client config:

{
  "mcpServers": {
    "axiom-advanced-math-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "axiom-math@1.0.5"
      ]
    }
  }
}

Related servers

Listed in punkpeye/awesome-mcp-servers (MIT)

Data from the Official MCP Registry