MCP Math

You get an MCP server that wraps local Python tooling for exact arithmetic, integer and modular verifications, and notebook-friendly exports. It lets you solve math problems precisely, verify results, and export runnable notebook code, all in a lightweight local setup.

How to use

Use the MCP client to run exact arithmetic, perform verifications, and export notebook-ready code. A typical workflow is to evaluate expressions with exact arithmetic, verify a value against a check, and export a clean code snippet you can paste into a notebook.

Practical usage patterns include:

• Evaluate an exact expression like 1/3 + 1/4 and get a precise result.
• Verify a numeric value against a condition such as ensuring it is an integer.
• Export code that you can drop into a Jupyter notebook for seamless notebook workflows.

How to install

Prerequisites: Python 3.8+ and a shell environment.

Create and activate a Python virtual environment, then install the required packages.

cd ~/Code/mcp-math
python3 -m venv .venv
source .venv/bin/activate
pip install sympy mcp

Configuration and start

Configure your MCP client to connect to the local server wrapper. Use the following runtime command to start the MCP server locally.

/Users/YOUR_USERNAME/Code/mcp-math/.venv/bin/python3 \
  /Users/YOUR_USERNAME/Code/mcp-math/src/server.py

Claude client integration

To enable Claude to talk to your local MCP server, add a local command that points to your virtual environment and the server wrapper. The example below assumes your user name and paths match the ones shown.

{
  "name": "mcp_math",
  "type": "stdio",
  "command": "/Users/YOUR_USERNAME/Code/mcp-math/.venv/bin/python3",
  "args": ["/Users/YOUR_USERNAME/Code/mcp-math/src/server.py"]
}

Notebook workflow

In a Jupyter notebook you can import utilities for exact arithmetic, verification, and export. The server provides notebook-friendly helpers so you can keep your calculations precise while working in an interactive notebook.

Notes

The server acts as a thin wrapper for local development, enabling exact arithmetic, checks, and notebook export within your existing Python environment.

Troubleshooting

If you encounter issues starting the server, ensure your paths are correct, the virtual environment is activated, and the server script path exists. Verify that the required packages are installed in the active environment and that your MCP client is configured to connect to the local process.

Available tools

mikey_math_exact

Evaluate an expression with exact arithmetic, returning fractions, big integers, or symbolic results as appropriate.

mikey_math_verify

Verify a value against a specified condition such as type, modular constraints, or range.

mikey_math_export

Produce notebook-ready code snippets for easy notebook export and reproduction.