Axiom — Advanced Math
io.github.tufantunc/axiom-math
About Axiom — Advanced Math
Axiom — Advanced Math is an MCP server published by the GitHub account tufantunc. Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
It runs on your own machine: your AI client starts it from the npm package axiom-math at version 1.0.5.
It asks for no keys or passwords.
Version 1.0.5 was published on 9 August 2026, and the source code is public, so you can read it before installing.
Written from the registry entry. 9 automated checks on the registry entry and the package code: 7 pass, 0 warn, 0 fail, 2 info. How we check.
What it asks for
This server declares no environment variables, so it asks for no keys or settings.
Checks
| Check | Result | Detail |
|---|---|---|
| Source repository linked | Pass | https://github.com/tufantunc/axiom-advanced-math-mcp |
| Version pinned | Pass | Every package has an explicit version |
| Secrets requested | Info | Asks for no secrets |
| Known package registry | Pass | All packages come from npm, PyPI, OCI, NuGet or MCPB |
| Namespace ownership | Info | Name verified via GitHub account tufantunc |
| Registry text aimed at the AI | Pass | Description and settings contain no hidden characters or instructions to the AI |
| Install scripts | Pass | axiom-math@1.0.5 runs nothing at install |
| Code red flags | Pass | Read 161 files in axiom-math@1.0.5: no obfuscation, encoded execution, credential reads or data-collection endpoints found |
| Text aimed at the AI | Pass | No hidden characters or instructions to the AI in 161 files, including comments and the README |
Popularity & health: 62 / 100
Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.
0 forks, 9 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.
What people say
No Hacker News threads link to its source code.
Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.
Facts
| Registry name | io.github.tufantunc/axiom-math |
|---|---|
| Publisher | GitHub account tufantunc |
| How the name is verified | Name verified via GitHub account tufantunc. The registry ties the name prefix to that account or domain; it does not check the code. |
| Type | Local: runs on your machine from a package |
| Packages | npm axiom-math 1.0.5 (stdio) |
| Version | 1.0.5 |
| Published | |
| Last updated | |
| Source repository | https://github.com/tufantunc/axiom-advanced-math-mcp |
| Website | https://github.com/tufantunc/axiom-advanced-math-mcp |
| Category | Agent safety & governance (assigned by keyword rule, not by hand) |
Related servers in Agent safety & governance
- endiagram-mcp8/8EN Diagram — structural verification for concurrent systems. Pure…
- concordance4/4Deterministic claim verification with receipts across ~60 domains.…
- glassbox-framework7/7Runtime constitutional verification for AI answers — claim…
- Chalkcast7/7Author, render and visually verify Manim math animations from…
- GoAI Moat Cross-Border Returns & Refund Management3/3True return-cost math, platform return-policy playbook, and…
- chargehand4/4Runs coding-agent workers on a codebase question; every claim in…