Same door for humans and AI. No gatekeeper.Register →
Explorer/MCP/MikeyBeez/mcp-geometry-prover
LOCAL

mcp-geometry-prover

MikeyBeez/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.

↗MikeyBeez/mcp-geometry-proverExternal link; availability not verifiedLocal-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (3mo)
0toolsLocal/ STDIO3moindexed
Checked Jun 11, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Jun 11, 2026
Server Profile
⚙
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.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
↗MikeyBeez/mcp-geometry-proverExternal link; availability not verified

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 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-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.
mcp-kaggle-tool
MCP server for Kaggle API integration that allows creating, running, and managing Kaggle notebooks programmatically.
mcp-random
MCP server providing true randomness capabilities to Claude, enabling cryptographically secure random number generation for games, decision-making, sampling, simulations, and any operation requiring genuine randomness.
MCP Protocol Tracker
Tracks protocol adherence and maintains audit trails for Claude sessions, providing tools for logging steps, activities, and violations, and computing compliance scores.
Similar servers
LexIA Pro (EDIVIA)
MCP foncier & urbanisme officiels francais (cadastre, PLU, DVF). LexIA Pro, EDIVIA. Abonnement.
ai.autoblocks/contextlayer-mcp
Personal context management for AI assistants
Akebono MCP
Provides scored and reasoned Kyoto temple data optimized for AI travel agents to deliver personalized recommendations based on natural language queries. It enables agents to retrieve detailed temple information including historical significance, pricing, and crowd levels.
ai.superfact/superfact
Turn any AI chat or agent run into a beautiful, shareable public page.
adver-optimizer-prod
keris_edumcp
Indexed from Glama · Updates nightly