i agree, i wrote a z3 skills for claude and generate a proof before writing code

		michalbilinski 18 hours ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream i agree, i wrote a z3 skills for claude and generate a proof before writing code