Proof Pilot