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

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