mcp-math
Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.
README
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"]
}
Recommended Servers
playwright-mcp
A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.
Magic Component Platform (MCP)
An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.
Audiense Insights MCP Server
Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.
VeyraX MCP
Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.
graphlit-mcp-server
The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.
Kagi MCP Server
An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.
E2B
Using MCP to run code via e2b.
Neon Database
MCP server for interacting with Neon Management API and databases
Exa Search
A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.
Qdrant Server
This repository is an example of how to create a MCP server for Qdrant, a vector search engine.