$ loading_
Prove geometry theorems from AG2 inputs and return symbolic proof status.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "mcp-geometry-prover" yet — see the docs or source repo.
Use mcp-geometry-prover to verify this geometry problem in AG2 format and tell me whether it is provable and its proof status: <paste AG2 problem here>
Returns whether the theorem holds, whether the proof succeeds, and the corresponding proof status.
I have an AG2 representation of a Euclidean geometry problem. Use mcp-geometry-prover to check whether the conclusion can be proven rigorously: <paste AG2 problem here>
Outputs a rigorous provability assessment to confirm whether the student's conclusion is correct.
Send the following AG2-formatted geometry conjecture to mcp-geometry-prover for symbolic reasoning and report the proof status: <paste AG2 problem here>
Provides the conjecture's status, such as proved, unproved, or failed.
Turn facts into formal proofs with deterministic Prolog-based logical reasoning.
Use Aristotle to complete Lean 4 proofs, verify lemmas, and formalize text.
Validate YAML symbolic math proof files and catch proof format or logic issues.
Equip AI with mechanical engineering tools for calculations, conversions, and analysis.
Perform math operations, solve equations, and support practical quantitative analysis tasks.
Use Agda in MCP clients for checking, navigation, and proof assistance.