Axiom — Advanced Math
NPM · AXIOM-MATH · SCANNED AUG 12
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 →
Supply Chain Security98
- No malware found by supply-chain analysis.Pass
- No known CVEs affecting this package version or its production dependencies.Pass
- No install/post-install scripts declared.Pass
- 34 of 105 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 2 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 Management13
- Stability observed for 4 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
Capabilities100
- Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
Add this component to your MCP client. Where a client-specific snippet is available, pick your client below and copy it straight into your config; otherwise use the connection detail shown.
npm · axiom-math
claude mcp add tufantunc-axiom-math -- npx -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": {
"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.
- 12 Aug 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 10 to 13. That category is still filling its 30-day observation window: 3 days of observed history at the previous scan, 4 at this one. The score rises as the window fills, whether or not the server changes.
- 11 Aug 26 +1
- We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
- 10 Aug 26 +11
- Known CVEs: unverified → pass ▲ security
- Dependency health: unverified → 0.85 ▲ functional
- 9 Aug 26 −10
- Known CVEs: pass → unverified ▼ security
- Stability: Stability not yet verified: we do not have a sandbox capture of the MCP schema this version of the package serves yet. security
- Schema quality: 398 → 503 ▼ functional
- Schema quality: 100 → unverified ▼ functional
- Capabilities: pass → unverified ▼ functional
- Dependency health: 0.85 → unverified ▼ functional
- Tool coverage: 100 → unverified ▼ functional
- Stability: unverified → 0.03 ▲ functional
- Package version: 1.0.2 → 1.0.5 functional
- Package version: 1.0.2 → 1.0.4 functional
- 8 Aug 26 79
First indexed and scored.
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 12 Aug 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 | https://slsa.dev/provenance/v1 |
| Subject digest | sha512:f4a4c64eb5373e054dcb6afb15f7b90e76049b8dd3ee69e50a1be68c699c1bdd8670d79a765eb2787e8db70f3a5c19226cee4626f6704bece75d92d37 |
Dependencies 105 packages
| Packages resolved | 105 |
|---|---|
| Stale | 34 |
| Tree resolution | Complete |
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.
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.