tufantunc/axiom-advanced-math-mcp

Overview

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

Best for

Best for
Developers needing exact symbolic math in LLM workflows

Use cases

• Compute exact integrals
• Solve symbolic equations
• Verify mathematical claims

How to use

Install

npx -y axiom-math compute 'integrate(sin(x)^3,x)'   # -cos(x)+cos(x)^3/3

Tools exposed

• MCP_PORT
• MCP_HOST
• MCP_ALLOWED_HOSTS
• AXIOM_EVAL_TIMEOUT_MS
• AXIOM_INTEGRATION_BUDGET_MS
• AXIOM_JS_COMPUTE_HEAP_MB
• AXIOM_COMPUTE_HYGIENE
• ZAI_API_KEY
• OPENROUTER_API_KEY

Tested with

Claude Desktop

Notes

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

2 stars on GitHub. Last updated 2026-09-08. Licensed GPL-3.0.

Use cases

• Compute exact integrals
• Solve symbolic equations
• Verify mathematical claims

Pros

• Provides exact symbolic math results
• Offers both MCP server and CLI
• Integrates with LLM workflows

Cons

• Low adoption (2 GitHub stars)
• Depends on external Giac/Xcas system

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.