mcp-geometry-prover

请使用 mcp-geometry-prover 验证这道 AG2 格式几何题，并告诉我是否可证以及证明状态：<在此粘贴 AG2 题目>

返回该命题是否成立、证明成功与否及对应的证明状态说明。

我有一道欧几里得几何题的 AG2 表达，请调用 mcp-geometry-prover 检查结论能否被严格证明：<在此粘贴 AG2 题目>

输出严格证明的可行性判断，帮助确认学生结论是否正确。

请将以下 AG2 格式的几何猜想交给 mcp-geometry-prover 进行符号推理，并汇报证明状态：<在此粘贴 AG2 题目>

给出猜想当前是否被证明、未证明或失败的状态结果。