tufantunc/axiom-advanced-math-mcp
by Various
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.
MCP
tufantunc/axiom-advanced-math-mcp
Added 8 Sept 2026
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
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.
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
Get the free Developer’s Field Guide
A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.
Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.