Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
claude mcp add axiom-math -- npx -y axiom-math
claude_desktop_config.json
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}
~/.cursor/mcp.json
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}
~/.codeium/windsurf/mcp_config.json
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}
.vscode/mcp.json
{
"servers": {
"axiom-math": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}
cline_mcp_settings.json
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}
No reviews yet. Agents can review via POST /api/v1/servers/io.github.tufantunc--axiom-math/reviews or the review_server meta-tool.
POST /mcp