Axiom — Advanced Math
NPM · AXIOM-MATH · SCANNED SEP 27
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Available components
How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →
Supply Chain Security88
- No malware found by supply-chain analysis.Pass
- CVE check failed: a known medium-severity CVE affects hono 4.13.1, a direct dependency. A fixed version is available. View diagnostics → Fail
- No install/post-install scripts declared.Pass
- 35 of 107 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency100
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Cryptographically verified build provenance (signed, bound to tufantunc/axiom-advanced-math-mcp). View diagnostics → Pass
- Clear OSI-approved license (GPL-3.0-or-later).Pass
- Actively maintained (last published 48 days ago).Pass
- Publishes a security disclosure policy (SECURITY.md).Pass
Schema Quality & AI Usability76
- 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Pass
- AI-judged instruction clarity (excellent).Pass
- Context-footprint check failed: tool/resource definitions use about 1511 tokens (~503/item across 3 items; 3 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management93
- Stability observed for 28 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage100
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 100% of tool parameters carry a description.Pass
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 3 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 4 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
How do I install the Axiom — Advanced Math MCP server?
Axiom — Advanced Math runs locally as an npm package, launched with npx -y axiom-math. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
npm · axiom-math
claude mcp add tufantunc-axiom-math -- npx -y axiom-math
{
"mcpServers": {
"tufantunc-axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
} {
"servers": {
"tufantunc-axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
} codex mcp add tufantunc-axiom-math -- npx -y axiom-math
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"tufantunc-axiom-math": {
"type": "local",
"command": [
"npx",
"-y",
"axiom-math"
],
"enabled": true
}
}
} openclaw mcp add tufantunc-axiom-math --command npx --arg -y --arg axiom-math
mcp_servers:
tufantunc-axiom-math:
command: "npx"
args: ["-y", "axiom-math"] {
"McpServers": {
"tufantunc-axiom-math": {
"Transport": "stdio",
"Command": "npx",
"Arguments": [
"-y",
"axiom-math"
]
}
}
} assistant mcp add tufantunc-axiom-math -t stdio -c npx -a -y axiom-math
{
"mcpServers": {
"tufantunc-axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
} Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 26 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 87 to 90. That category is still filling its 30-day observation window: 26 days of observed history at the previous scan, 27 at this one. The score rises as the window fills, whether or not the server changes.
- 25 Sept 26 0
- We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
- 24 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 80 to 83. That category is still filling its 30-day observation window: 24 days of observed history at the previous scan, 25 at this one. The score rises as the window fills, whether or not the server changes.
- 23 Sept 26 −3
- Stability: pass → 0.80 functional
- 22 Sept 26 0
- Stability: 0.97 → pass security
- 21 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.
- 19 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 87 to 90. That category is still filling its 30-day observation window: 26 days of observed history at the previous scan, 27 at this one. The score rises as the window fills, whether or not the server changes.
- 17 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 80 to 83. That category is still filling its 30-day observation window: 24 days of observed history at the previous scan, 25 at this one. The score rises as the window fills, whether or not the server changes.
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 27 Sept 2026 · Analysed npm/axiom-math@1.0.5
Provenance Verified
A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.
| Result | Verified |
|---|---|
| Ecosystem | npm |
| Reason | Verified |
| Discovered via | Registry attestation endpoint |
| Source repo | tufantunc/axiom-advanced-math-mcp |
| Certificate issuer | https://token.actions.githubusercontent.com |
| Certificate SAN | https://github.com/tufantunc/axiom-advanced-math-mcp/.github/workflows/release.yml@refs/tags/v1.0.5 |
| Rekor log index | 2394222497 |
| Predicate type | SLSA build provenance https://slsa.dev/provenance/v1 |
| Subject digest | sha512:f4a4c64eb5373e054dcb6afb15f7b90e76049b8dd3ee69e50a1be68c699c1bdd8670d79a765eb2787e8db70f3a5c19226cee4626f6704bece75d92d37 |
Background: How many MCP packages publish verified provenance →
Vulnerabilities 3 findings
| ID | CVE | Severity | Vector | Fix available |
|---|---|---|---|---|
| GHSA-crvj-82cr-hjcx | CVE-2026-84363 | medium | CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N | yes |
| GHSA-g6gw-c38x-mqfc | CVE-2026-84364 | medium | CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:L | yes |
| GHSA-gqvv-2mrq-wpjv | CVE-2026-84365 | medium | CVSS:3.1/AV:N/AC:L/PR:N/UI:R/S:U/C:N/I:H/A:N | yes |
Background: What a vulnerability scan can and cannot prove →
Dependencies 107 packages
| Packages resolved | 107 |
|---|---|
| Stale | 35 |
| Tree resolution | Complete |
Background: SBOMs and build attestations, explained →
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
compute ~499
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 kept rather than rounded. Ask for domain "numeric" or set `precision` when you want a decimal. Where it can, the tool re-checks its own answer and reports that check alongside the result. When you already have an answer and want it confirmed, use `verify` instead: recomputing here and comparing is not an independent check.
| Name | Type | Req | Description |
|---|---|---|---|
| domain | string | – | Domain hint: real (default) — real solutions complex — complex solutions (csolve, cfactor) numeric — force numerical methods exact — exact symbolic form |
| format | string | – | Output format: text (default) — human-readable result latex — LaTeX-focused output json — structured ComputeEnvelope |
| precision | number | – | Decimal precision (default: 10) |
| problem | string | yes | Mathematical problem to solve. Use CAS-style function calls for clarity: solve(x^2-4=0, x) — solve equation diff(x^3, x) — differentiate int(x^2, x, 0, 1) — definite in… |
No output schema declared.
No examples provided.
plot ~309
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.
| Name | Type | Req | Description |
|---|---|---|---|
| expression | string | yes | Mathematical expression to plot (e.g., "sin(x)", "x^2 - 3*x + 1") |
| height | number | – | Image height in pixels (default: 400) |
| title | string | – | Chart title (optional) |
| variable | string | – | Variable name (default: "x") |
| width | number | – | Image width in pixels (default: 600) |
| x_max | number | – | Maximum x value (default: 10) |
| x_min | number | – | Minimum x value (default: -10) |
| y_max | number | – | Maximum y value (auto-detected if omitted) |
| y_min | number | – | Minimum y value (auto-detected if omitted) |
No output schema declared.
No examples provided.
verify ~292
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", not "disproved". Treating the two as the same turns a syntax error into a refutation.
| Name | Type | Req | Description |
|---|---|---|---|
| claim | string | yes | Mathematical claim to verify. Examples: "sin(x)^2 + cos(x)^2 = 1" — identity check "x=2 satisfies x^2-4=0" — solution check "diff(x^3, x) = 3*x^2" — computation check |
| format | string | – | Output format: text (default) — human-readable verdict json — structured VerifyResult |
| method | string | – | Verification method (default: "both") |
No output schema declared.
No examples provided.
What is the Axiom — Advanced Math MCP server?
Axiom — Advanced Math is an MCP server listed in the public MCP registry as io.github.tufantunc/axiom-math. Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. This page covers its npm package (axiom-math).
Is the Axiom — Advanced Math MCP server safe to use?
Axiom — Advanced Math scores 91 out of 100 on VerifyMCP. We recorded 3 known advisories against it as of 27 September 2026. It declares no install or post-install scripts. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the Axiom — Advanced Math MCP server expose?
Axiom — Advanced Math exposes 3 tools: compute, verify, plot. Their descriptions and schemas cost roughly 1,100 tokens of context every time the server is loaded.
Is the Axiom — Advanced Math MCP server still maintained?
Axiom — Advanced Math is still listed as active in the MCP registry. We last reached this channel on 27 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.
What licence is the Axiom — Advanced Math MCP server under?
Axiom — Advanced Math declares the GPL-3.0-or-later licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.