tufantunc/axiom-advanced-math-mcp

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

2Stars on the repository

3Mods indexed here, across every type

yesterdayLast push, which is what freshness is scored on

GPL-3.0Licence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor +2

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. Runs locally from the axiom-math npm package.

not rated 2 yesterday A tokens not measured GPL-3.0