用途：针对给定几何命题与已知条件，产出严格的分步证明，也可用于验证几何猜想、为更大论证建立引理，或比较不同证明方法。
主要能力：五步流程——精确表述定理（明确Given/Prove与隐含假设，如欧氏几何、非退化）、选择并说明证明方法（直接综合法、反证法、坐标法、向量法、变换法）、构建每步均有依据的证明链、处理退化与边界情形、组装含QED的完整证明文档。坐标法与向量法附有中线定理等示例步骤。
使用方式：输入必需的定理陈述与已知条件；可选输入偏好方法、严格程度（非正式/半正式/需引用公理）、可引用的已知结论、是否显式讨论退化情形。按流程逐步执行，最终给出完整证明并可用具体数值例检验。
适用场景：三角形全等与相似、角追踪、圆定理、共线与平行垂直、中点与距离关系、重心性质、面积比等。
限制：用于数学证明，不涉及代码执行；定理陈述模糊需先改写，若命题为假应给出反例；需坐标证明时须说明坐标选取不损失一般性。收费、价格与平台信息暂未提供。