Axiom Advanced Math MCP
Related Servers
Alternatives to Axiom Advanced Math MCP
No user-submitted related servers found.
Related Servers
- AlicenseAqualityDmaintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.61Apache 2.0
- AlicenseBqualityAmaintenanceA universal mathematics MCP server that gives LLM clients full access to SageMath for symbolic calculus, number theory, linear algebra, and more, with persistent state across tool calls.40388 PyPI16MIT
- AlicenseAqualityBmaintenanceAn MCP server that exposes numerical and mathematical methods (root finding, integration, differentiation, ODEs, Monte Carlo, dynamic systems) as tools for LLM agents to call directly from chat clients.2999 npm1MIT
- AlicenseAqualityCmaintenanceA Model Context Protocol server that exposes 8 mathematical tools (arithmetic, algebra, calculus, matrix operations, statistics, probability, unit conversions) to any MCP-compatible AI agent, enabling mathematical computations without code.89 npm1MIT
- AlicenseNot gradedqualityCmaintenanceExposes the full SageMath computer algebra system to LLM clients through MCP tools for symbolic mathematics, solving, calculus, plotting, and number theory.45 npm1Creative Commons Zero v1.0 Universal
- AlicenseNot gradedqualityAmaintenanceProvides a token-efficient exact math engine for AI agents, enabling computation of derivatives, integrals, equations, and optimized Python/NumPy code via a single MCP tool.4MIT
TDQS
Scored across 3 tools
Verify and compute have some overlap in that compute can evaluate assertions, but their primary purposes are distinct (checking claims vs. solving problems). Plot is clearly separate. Descriptions help differentiate them, though an agent might occasionally misselect.
All three tool names are single lowercase verbs (verify, compute, plot), forming a simple and consistent pattern. No naming ambiguities or mixed conventions.
Three tools is slightly on the lower end but reasonable for a focused math MCP. Each tool covers a broad category (verification, computation, plotting), so the count feels appropriate rather than sparse.
The tool surface covers the core mathematical workflows: solving/computing, verifying claims, and visualizing functions. 'Compute' is comprehensive enough to handle simplification, integration, and other operations, leaving no obvious dead ends.