Prove C#/.NET state machines correct with Lean 4 and turn every counterexample into a reproduced, fixed bug.
Runs in your AI Code.
1 in the Claude listing