# Axiom — Advanced Math (npm · axiom-math)

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

- Trust score: 82/100 (high trust)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-12

## Components

- npm · `axiom-math`: 82/100 (this document), [markdown](https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math.md), [page](https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math)

## Channel facts

- Registry: `npm`
- Package: `axiom-math`
- Version: `1.0.5`
- Transport: `stdio`

## Trust breakdown

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. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-12.

- **Supply Chain Security**: 98/100
  - No malware found by supply-chain analysis.
  - No known CVEs affecting this package version or its production dependencies.
  - No install/post-install scripts declared.
  - 34 of 105 dependencies flagged as unhealthy.
- **Provenance & Transparency**: 100/100
  - Source repository is publicly reachable at the declared URL.
  - Cryptographically verified build provenance (signed, bound to tufantunc/axiom-advanced-math-mcp).
  - Clear OSI-approved license (GPL-3.0-or-later).
  - Actively maintained (last published 2 days ago).
  - Publishes a security disclosure policy (SECURITY.md).
- **Schema Quality & AI Usability**: 76/100
  - 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).
  - AI-judged instruction clarity (excellent).
  - 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.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 13/100
  - Stability observed for 4 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 100/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 100% of tool parameters carry a description.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

## Install

### Claude

```bash
claude mcp add tufantunc-axiom-math -- npx -y axiom-math
```

### Codex

```bash
codex mcp add tufantunc-axiom-math -- npx -y axiom-math
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "tufantunc-axiom-math": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "axiom-math"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add tufantunc-axiom-math --command npx --arg -y --arg axiom-math
```

### Hermes

```yaml
mcp_servers:
  tufantunc-axiom-math:
    command: "npx"
    args: ["-y", "axiom-math"]
```

### Other

```json
{
  "mcpServers": {
    "tufantunc-axiom-math": {
      "command": "npx",
      "args": [
        "-y",
        "axiom-math"
      ]
    }
  }
}
```

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-12 (score 82, +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.

### 2026-08-11 (score 81, +1)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-08-10 (score 80, +11)

- [security improvement] Known CVEs: unverified → pass
- [functional improvement] Dependency health: unverified → 0.85

### 2026-08-09 (score 69, −10)

- [security regression] 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.
- [functional regression] Schema quality: 398 → 503
- [functional regression] Schema quality: 100 → unverified
- [functional regression] Capabilities: pass → unverified
- [functional regression] Dependency health: 0.85 → unverified
- [functional regression] Tool coverage: 100 → unverified
- [functional improvement] Stability: unverified → 0.03
- [functional] Package version: 1.0.2 → 1.0.5
- [functional] Package version: 1.0.2 → 1.0.4

### 2026-08-08 (score 79)

First indexed and scored.

## MCP tools (3)

### `compute` (~499 tokens)

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.

Input parameters:

- `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, required): 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…

### `verify` (~292 tokens)

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.

Input parameters:

- `claim` (string, required): 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")

### `plot` (~309 tokens)

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.

Input parameters:

- `expression` (string, required): 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)

## Diagnostics

Captured diagnostic sections: Provenance, Dependencies. The full working is on the page: https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math#diagnostics

## Score history

- 2026-08-12: 82
- 2026-08-11: 81
- 2026-08-10: 80
- 2026-08-09: 69
- 2026-08-08: 79

## Links

- npm package: https://www.npmjs.com/package/axiom-math
- Socket report: https://socket.dev/npm/package/axiom-math
- Repository: https://github.com/tufantunc/axiom-advanced-math-mcp
- Changelog RSS feed: https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math.xml
- Changelog JSON feed: https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math.json
- HTML version of this page: https://verifymcp.io/servers/tufantunc-axiom-math/axiom-math