Skip to content
mcp/harbor
Verified official

Axiom — Advanced Math MCP

v1.0.5

io.github.tufantunc/axiom-math

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

transport:stdio runtime:npm
View source Website

Target client

run in your project directory 

claude mcp add axiom-math -- npx -y axiom-math

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.