3 ms·i agree, i wrote a z3 skills for claude and generate a proof before writing codeby michalbilinski 10mo agoi agree, i wrote a z3 skills for claude and generate a proof before writing code