Analyze and restructure mathematical proofs for clarity and completeness
name proof-structure-analyzer description Analyze and restructure mathematical proofs for clarity and completeness allowed-tools ["Bash","Read","Write","Edit","Glob","Grep"] metadata {"specialization":"mathematics","domain":"science","category":"theorem-proving","phase":6} 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 Strategy Analysis : Identify the overall proof approach Dependency Mapping : Build logical dependency graphs Gap Detection : Find missing steps or unjustified claims Restructuring : Suggest clearer proof organization Tools/Libraries Natural language parsing Formal logic representation Graph analysis tools