Which integrations are available for this server?

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.

How do I use mcp-math?

1. Click on "Install Server". 2. Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state. 3. In the chat, type @ followed by the MCP server name and your instructions, e.g., "@mcp-math calculate 1/17 + 1/19 exactly and export the notebook-ready code" That's it! The server will respond to your query, and you can continue using it as needed. Here is a step-by-step guide with screenshots.

Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type @ followed by the MCP server name and your instructions, e.g., "@mcp-math calculate 1/17 + 1/19 exactly and export the notebook-ready code"

That's it! The server will respond to your query, and you can continue using it as needed.

Here is a step-by-step guide with screenshots.

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.""" ...