$ loading_
调用几何定理证明引擎，输入AG2格式题目并返回符号化证明结果。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"mcp-geometry-prover" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请使用 mcp-geometry-prover 验证这道 AG2 格式几何题，并告诉我是否可证以及证明状态：<在此粘贴 AG2 题目>
返回该命题是否成立、证明成功与否及对应的证明状态说明。
我有一道欧几里得几何题的 AG2 表达，请调用 mcp-geometry-prover 检查结论能否被严格证明：<在此粘贴 AG2 题目>
输出严格证明的可行性判断，帮助确认学生结论是否正确。
请将以下 AG2 格式的几何猜想交给 mcp-geometry-prover 进行符号推理，并汇报证明状态：<在此粘贴 AG2 题目>
给出猜想当前是否被证明、未证明或失败的状态结果。
让 AI 直接操控 GeoGebra，完成几何作图、函数绘制与数学可视化。
提供基础与高级数学计算、公式求解及多场景数值分析辅助
在 Claude Code 等客户端中直接进行 Agda 类型检查、定义跳转与自动证明辅助
提供多种数学计算工具，帮助模型完成算术、三角、对数等精确运算。
通过多种工具与ACL2定理证明器交互，完成证明、求值与调试。
调用多种一阶逻辑定理证明器，完成证明、会话管理与 TPTP 导出。