用途 Proof Structure Analyzer 用于分析和重构数学证明，目标是改善证明的清晰度、完整性与逻辑流程。
主要能力
- 证明策略识别：识别证明所使用的整体方法，例如归纳法、反证法等。
- 依赖图构建：构建逻辑依赖图，呈现证明中各部分之间的依赖关系。
- 缺口检测：在推理链中发现缺失步骤或缺乏论证支持的断言。
- 证明提纲生成：生成证明的结构提纲。
- 引理提取建议：提出将部分内容提取为引理的建议。
使用方式 资料给出的使用指引包括：进行策略分析以确定整体证明思路；进行依赖映射以构建逻辑依赖图；进行缺口检测以找出缺失步骤或无依据的断言；进行重构以建议更清晰的证明组织方式。具体操作界面、安装命令和使用步骤暂未提供。
工具与库 涉及自然语言解析、形式逻辑表示和图分析工具。
适用场景 适合需要检查数学证明的逻辑结构、发现推理缺口、梳理证明依赖关系或重新组织证明表述的场合。
限制 上述功能基于资料描述，实际表现、支持的证明格式、运行平台及收费情况暂未提供。