Coding Agents Just Changed Formal Verification Forever | Poteto's Skill, Bend2, Drifting Models
Continue the conversation from the episode on Discord: https://superlinear.fm/discord
The create-formal-verification-skill by Poteto, aka Lauren Tan, can find a valuable property in your codebase, choose a verification tool, and generate a skill future coding agents can use to rerun and maintain the check. Formal verification is becoming a practical part of building with agents.
But a passing proof only covers the property and assumptions being checked. If it describes a separate model that has drifted from your application, your shipped code can behave differently. We discuss how to start…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.