Axiom — Advanced Math

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

Connector by tufantunc · GitHub account verified by the MCP Registry

IndexedGPL-3.0Local (stdio)★ 3

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/tufantunc-axiom-math

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Oct 25, 2026.

Tools: 2 read · 0 write · 0 delete · 1 not yet classified
Secrets: None asked for
Install scripts: None found
Runs as: Node.js package

Tools by what they do 3

Read from the source code; the running server may list different tools.

Read 2 · Look things up without changing anything.

compute
verify

Not yet classified 1 · We could not tell from the name and description.

plot

Network hosts it talks to 6

api.z.ai · found in code
datasets-server.huggingface.co · found in code
github.com · found in code
glama.ai · found in code
openrouter.ai · found in code
raw.githubusercontent.com · found in code

Tools (3)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

compute
Compute an exact answer to a mathematics problem: equation solving, calculus, linear algebra, combinatorics, probability and statistics, number theory, geometry, differential equations, transforms and series. Runs a real computer algebra system (Giac/Xcas) in this process — answers are computed rather than recalled, with no network call and no API key. Pass one CAS-style problem string; the `problem` parameter lists the verbs. Anything it does not recognise is evaluated as a raw Giac/Xcas expression, so valid Giac syntax always works. Results are exact by default — fractions and radicals are…
plot
Plot a single-variable function as a graph. Returns a base64-encoded SVG image with axes, grid, labels and asymptote detection, plus a text caption. Examples: - plot sin(x) from -2*pi to 2*pi - plot x^2 - 3*x + 1 from -5 to 5 - plot exp(-x^2) (Gaussian curve) - plot 1/x (poles are split into separate segments rather than joined) Samples the function numerically, so it draws the shape of an expression — it does not solve or simplify it. Use `compute` for the mathematics and `plot` to show it. Points where the function is undefined are dropped rather than interpolated.
verify
Independently check whether a mathematical claim is true. Use it to confirm an answer — yours or one from `compute` — instead of recomputing and hoping the second attempt agrees. Handles identities ("sin(x)^2+cos(x)^2 = 1"), solution claims ("x=2 satisfies x^2-4=0") and computation assertions ("diff(x^3, x) = 3*x^2"), checked symbolically, numerically, or both. The verdict has three outcomes, not two. Read `evaluated` before `verified`: when `evaluated` is false nothing could be checked — the claim did not parse, or the CAS could not evaluate it — so `verified: false` there means "unknown", …

Signals

Stars: 3
Forks: 0
Open issues: 0
Last commit: Oct 21, 2026 (7 days ago)
Last release: Aug 9, 2026 (2 months ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name: io.github.tufantunc/axiom-math
Version: 1.0.5
Auth: No auth
Packages: npm axiom-math
License: GPL-3.0
Repository: github.com/tufantunc/axiom-advanced-math-mcp
Website: github.com/tufantunc/axiom-advanced-math-mcp
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql