Searching protocol for "counterexample"
Decode Ivy verification failures.
Debug proof failures with counterexamples.
Turn verification failures into reproducible tests.
Understand and fix model checker failures.
Debug failures by explaining counterexamples.
Turn math prompts into Lean proofs.
Debug failures with concrete examples.
Fix code violations with AI guidance.
Turn invariants into rock-solid state guarantees.
Explore conjectures to build toward proofs.
Reproduce model checker bugs in code.
Break down solutions, find flaws.