MCP Tools DirectoryAbout this integration
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
- Transport
- stdio
- Authentication
- none
- Initial setup
- none
- Runtime
- unattended
- Evidence
- documented
- Version
- 1.0.5
- Package
- axiom-math
- Last compatibility test
- Not independently tested
Connect your agent
axiom-mathPublisher documentation and package manifest were reviewed from pinned captures. No package, WASM engine, benchmark, or endpoint was executed; publisher benchmark and test claims were not independently verified.
Capabilities: Compute symbolic and numerical mathematics, Verify mathematical claims, Solve equations and calculus problems, Perform matrix, statistics, and geometry operations, Render two-dimensional function plots
Connected profiles
Additional details
io.github.tufantunc/axiom-math
Source ↗ · Checked 2026-09-171.0.5
Source ↗ · Checked 2026-09-17CC0-1.0; package licenses are separate
Source ↗ · Checked 2026-09-17npm
Source ↗ · Checked 2026-09-17axiom-math
Source ↗ · Checked 2026-09-201.0.5
Source ↗ · Checked 2026-09-20An MCP client launches npx -y axiom-math over stdio; the documented binary runs as the MCP server when invoked without a CLI subcommand.
Source ↗ · Checked 2026-09-20The publisher explicitly states that its server has no authentication or rate limiting. The reviewed catalog connection is local stdio, whose client configuration has no credential fields; separately exposing the optional HTTP transport requires the operator to add protection.
Source ↗ · Checked 2026-09-20Configure command npx with arguments -y and axiom-math. The README identifies CLI stdio as the default transport; optional HTTP documentation is outside the preserved catalog connection.
Source ↗ · Checked 2026-09-20Publisher documentation reviewed; package and integration endpoint not executed or independently security-audited.
Source ↗ · Checked 2026-09-20