Proof Structure Analyzer Purpose Provides analysis and restructuring capabilities for mathematical proofs to improve clarity, completeness, and logical flow. Capabilities - Proof strategy identification (induction, contradiction, etc.) - Dependency graph construction - Gap detection in reasoning chains - Proof outline generation - Lemma extraction suggestions Usage Guidelines 1. Strategy Analysis : Identify the overall proof approach 2. Dependency Mapping : Build logical dependency graphs 3. Gap Detection : Find missing steps or unjustified claims 4. Restructuring : Suggest clearer proof orga…