Mistral's new agent proofs your code on the cheap
go.theregister.com
: Formal code verification and testing offer a way around AI blind spots