Axiom — Advanced Math runs on your own machine — the client starts it, so there is no endpoint to ping. 67 installs a week from npm. Last commit 11 Aug 2026.
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Today is the operative word: we check Axiom — Advanced Math every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add axiom-math -- npx -y axiom-math
{
"mcpServers": {
"axiom-math": {
"args": [
"-y",
"axiom-math"
],
"command": "npx"
}
}
}
[mcp_servers.axiom-math]
command = "npx"
args = ["-y", "axiom-math"]
{
"mcpServers": {
"axiom-math": {
"args": [
"-y",
"axiom-math"
],
"command": "npx"
}
}
}
{
"mcpServers": {
"axiom-math": {
"args": [
"-y",
"axiom-math"
],
"command": "npx"
}
}
}
Task-scoped email inboxes for AI agents: read mail, extract verification codes, and reply.
AI governance MCP server for EU AI Act compliance and jurisdiction verification
Real email and SMS for AI agents — send mail, receive verification codes, drive a real inbox.
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
SMS Verify: SMS Verify API is a secure and easy-to-integrate service that sends verification codes.
Independent static verification for exact immutable public GitHub commits.
Executable mathematics and independent verification for AI agents.
MCP server for advanced data visualization and plotting operations
Answers built from our own checks of this server.