Safe2Proof