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
Chalk Labs
Need help deploying Axiom — Advanced Math?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
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
Reviews
Write a reviewNo 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.
computeverify
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 codedatasets-server.huggingface.co· found in codegithub.com· found in codeglama.ai· found in codeopenrouter.ai· found in coderaw.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+…].
computeCompute 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…
plotPlot 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.
verifyIndependently 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 (10 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
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
More from tufantunc
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get Axiom — Advanced Math running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
Axiom — Advanced Math MCP server. Agent Mart. https://agentmart.dev/connectors/tufantunc-axiom-math (last updated 2026-10-24)