Schema | Axiom Advanced Math MCP

Axiom Advanced Math MCP

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

Features and capabilities supported by this server

Capability	Details
`tools`	{ "listChanged": true }
`prompts`	{ "listChanged": true }

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: plot sin(x) from -2pi to 2pi plot x^2 - 3*x + 1 from -5 to 5 plot exp(-x^2) (Gaussian curve) plot 1/x with asymptote detection

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.

Contextual data attached and managed by the client

Name	Description
No resources

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/tufantunc/axiom-advanced-math-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server