Formal verification proves that software follows defined rules. Our goal is to make it affordable for more developers. NEAR AI’s progress in automated proof generation brings us closer. Next: applying it to the NEAR protocol and core smart contracts.