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: SymPy Sandbox MCP

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

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections. Dates show when Glama detected each change.

No tool schema history has been recorded yet.

Maintenance

ActivityMaintained
ResponsivenessNo issues

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

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
    A
    quality
    D
    maintenance
    A secure mathematical computation sandbox that enables LLMs to perform symbolic math operations like algebra, calculus, and equation solving via SymPy. It features low-latency execution through pre-warmed process pools and provides standardized JSON outputs for reliable agent integration.
    1
    2
    MIT
  • A
    license
    B
    quality
    A
    maintenance
    Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.
    2
    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.
    4
    MIT

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/MikeyBeez/mcp-math'

If you have feedback or need assistance with the MCP directory API, please join our Discord server