Skip to main content
Glama

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 code

In 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 mcp

Add 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"]
}

Related MCP Connectors

Related MCP Servers

  • A
    license
    Not graded
    quality
    D
    maintenance
    Provides 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
  • A
    license
    Not graded
    quality
    A
    maintenance
    Provides 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.
    6
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables 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.
    8
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
    MIT