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"]
}This server cannot be deployed
Maintenance
Related MCP Connectors
Exact arithmetic, algebra, calculus, physics, chemistry and finance with a checkable formula.
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
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 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.7MIT
- 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 gradedqualityCmaintenanceProvides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.MIT