Skip to main content
Glama
MikeyBeez

mcp-geometry-prover

by MikeyBeez

geometry_example

Retrieve an example geometry problem in AG2 format to understand the required input structure for the proof engine.

Instructions

Get an example geometry problem in AG2 format

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
problem_idYesProblem ID like '2000_p1', '2008_p6', etc.

Tool Definition Quality

Score is being calculated. Check back soon.

Install Server

Other Tools

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/MikeyBeez/mcp-geometry-prover'

If you have feedback or need assistance with the MCP directory API, please join our Discord server