Prove_it – Force Claude to verify its work