mcp-math
Provides tools for exporting exact arithmetic and verification code into notebook-ready formats for use in Jupyter Notebooks.
Integrates symbolic mathematics capabilities for performing exact arithmetic and mathematical verification of expressions.
This server does not currently have a deployable release on Glama. Follow the repository's setup instructions to install and configure it for your MCP client, including any required credentials and local dependencies.
mcp-math
Exact arithmetic and verification tools for math competitions.
Purpose
Provides helpers for solving math problems with:
Exact arithmetic (fractions, bigints, SymPy)
Verification checks (integer, mod, range)
Notebook-exportable code
Related MCP server: pycodemath
Design
The core is pure Python that works in Jupyter notebooks. The MCP server is a thin wrapper for local development.
mcp-math/
├── src/
│ ├── core/ # Pure Python helpers (notebook-compatible)
│ │ ├── exact.py # Exact arithmetic functions
│ │ └── verify.py # Verification functions
│ ├── server.py # MCP server wrapper
│ └── export.py # Export helpers for notebooks
└── tests/Usage
In Claude Code (via MCP)
mikey_math_exact expr="1/3 + 1/4"
mikey_math_verify value=42 check="integer"
mikey_math_export # Get notebook-ready codeIn Jupyter Notebook
# Copy from export or paste directly
from fractions import Fraction
from sympy import *
def exact_eval(expr):
"""Evaluate expression with exact arithmetic."""
...Installation
cd ~/Code/mcp-math
python3 -m venv .venv
source .venv/bin/activate
pip install sympy mcpAdd to ~/.claude.json:
"mcp-math": {
"command": "/Users/YOUR_USERNAME/Code/mcp-math/.venv/bin/python3",
"args": ["/Users/YOUR_USERNAME/Code/mcp-math/src/server.py"]
}Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
This server cannot be deployed
Maintenance
Related MCP Connectors
Exact arithmetic, algebra, calculus, physics, chemistry and finance with a checkable formula.
Exact fraction math for AI agents. No floating-point drift. CODATA 2022 constants and units.
Verified maths exercises for tutors and their students, each answer key right by construction.
Messy spreadsheets in, clean checkable tables out. Every result carries its arithmetic proof.
Related MCP Servers
- AlicenseNot gradedqualityDmaintenanceProvides a suite of deterministic math tools powered by SymPy to handle algebra, calculus, linear algebra, and statistics via the Model Context Protocol. It enables smaller language models to delegate complex computations to a verified symbolic backend for accurate and reliable results.Apache 2.0
- AlicenseNot gradedqualityBmaintenanceProvides 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.147 PyPI8MIT
- AlicenseAqualityCmaintenanceEnables reliable engineering and scientific computation through tools for exact arithmetic, unit-aware formulas, calculus, linear algebra, statistics, uncertainty propagation, and physical constants, all executed safely in reproducible subprocesses.8MIT
- AlicenseNot gradedqualityDmaintenanceProvides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.MIT