Axiom Advanced Math MCP
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| MCP_HOST | No | HTTP server host | 127.0.0.1 |
| MCP_PORT | No | HTTP server port | 3000 |
| MCP_ALLOWED_HOSTS | No | Comma-separated Host header allowlist for POST /mcp (DNS-rebinding protection). An explicit value replaces the default rather than extending it. | localhost,127.0.0.1,[::1] |
| AXIOM_COMPUTE_HYGIENE | No | Set to 1 to enable compute output post-processing | |
| AXIOM_EVAL_TIMEOUT_MS | No | Per-evaluation CAS timeout, in milliseconds | 10000 |
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| prompts | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| computeA | Solve any math problem: equations, calculus, algebra, matrices, combinatorics, probability, statistics, geometry, number theory, and more. Pass a CAS-style problem string (e.g., "solve(x^2-4=0, x)", "diff(x^3, x)", "det([[1,2],[3,4]])", "C(10,3)", "2+3*sin(pi/4)") or any Giac/Xcas expression. |
| verifyA | Verify a mathematical claim using symbolic and/or numeric checks. Supports identity verification (e.g., "sin(x)^2+cos(x)^2 = 1"), solution checking (e.g., "x=2 satisfies x^2-4=0"), and computation assertions. |
| plotA | Plot a mathematical function as an SVG graph. Returns an image showing the function curve with axes, grid, and labels. Examples:
|
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| solve-step-by-step | Solve a mathematical expression step by step. Guides the LLM to show intermediate work: parse the expression, simplify, solve, and verify the result. |
| analyze-function | Perform a complete analysis of a mathematical function: domain, derivatives, critical points, inflection points, asymptotes, and integral. |
| verify-identity | Verify whether a mathematical identity holds by simplifying both sides and checking if they are equal. |
| convert-units | Convert a value from one unit to another using the compute tool. |
| analyze-dataset | Guide statistical test selection for a dataset. Uses a decision tree (t-test vs ANOVA vs chi-square) based on data type, group count, and study design. |
| solve-ode-system | Set up and solve a system of ordinary differential equations. Guides through problem formulation, CAS solution, stability analysis, and physical interpretation. |
| regression-workflow | Guide through a complete regression analysis: model selection, fitting, diagnostic checks, and interpretation of results. |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 3 tools
Verify and compute have some overlap in that compute can evaluate assertions, but their primary purposes are distinct (checking claims vs. solving problems). Plot is clearly separate. Descriptions help differentiate them, though an agent might occasionally misselect.
All three tool names are single lowercase verbs (verify, compute, plot), forming a simple and consistent pattern. No naming ambiguities or mixed conventions.
Three tools is slightly on the lower end but reasonable for a focused math MCP. Each tool covers a broad category (verification, computation, plotting), so the count feels appropriate rather than sparse.
The tool surface covers the core mathematical workflows: solving/computing, verifying claims, and visualizing functions. 'Compute' is comprehensive enough to handle simplification, integration, and other operations, leaving no obvious dead ends.