$ loading_
调用几何定理证明引擎,输入AG2格式题目并返回符号化证明结果。
复制安装指令,让 AI 自动完成配置 · 推荐新手
"mcp-geometry-prover" 暂无可直接复制的安装信息,请查看页面文档或源码仓库。
请使用 mcp-geometry-prover 验证这道 AG2 格式几何题,并告诉我是否可证以及证明状态:<在此粘贴 AG2 题目>
返回该命题是否成立、证明成功与否及对应的证明状态说明。
我有一道欧几里得几何题的 AG2 表达,请调用 mcp-geometry-prover 检查结论能否被严格证明:<在此粘贴 AG2 题目>
输出严格证明的可行性判断,帮助确认学生结论是否正确。
请将以下 AG2 格式的几何猜想交给 mcp-geometry-prover 进行符号推理,并汇报证明状态:<在此粘贴 AG2 题目>
给出猜想当前是否被证明、未证明或失败的状态结果。
为 AI 代理提供代数、微积分、统计等数学计算能力