Same door for humans and AI. No gatekeeper. Register → × LOCAL?
mcp-math MikeyBeez/mcp-mathProvides 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.
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (5mo)
0 toolsLocal / STDIO5mo indexed
Checked Apr 18, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Apr 18, 2026
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
○
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
●
Liveness
—
No liveness checks recorded yet.
Not listed on the Official MCP Registry.
Source repository is available for review.
Is this your server? Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.
Create your account → More from MikeyBeez
MCP Contemplation
Provides an interface to Claude's contemplation loop, enabling continuous background cognitive processing that maintains thoughts, recognizes patterns, and develops insights between conversations.
MCP Reminders
A simple system that allows Claude to leave and manage notes for itself across sessions, functioning like an 'Alexa, remind me...' for AI assistants.
mcp-geometry-prover
Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.
MCP SmallEdit
Provides tools for making small, targeted edits to files using stream editors like sed and awk, enabling efficient modifications without full file replacement.
MCP Git Server
An MCP server that provides Git version control operations for Claude, enabling comprehensive repository management. It allows users to perform tasks such as staging files, committing changes, managing branches, and handling remote operations like pushing and pulling.
mcp-kaggle-tool
MCP server for Kaggle API integration that allows creating, running, and managing Kaggle notebooks programmatically.
Indexed from Glama · Updates nightly