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