Invariant Analyzer Skill Purpose Identify and verify loop invariants to help construct correctness proofs for algorithms. Capabilities - Automatic loop invariant inference - Invariant verification against code - Precondition/postcondition extraction - Generate formal proof structure - Identify missing invariants Target Processes - correctness-proof-testing - algorithm-implementation Invariant Analysis Framework Loop Invariant Properties 1. Initialization : True before first iteration 2. Maintenance : If true before iteration, true after 3. Termination : Provides useful property at end Common…