This post is the culmination of over a year of research into how to properly use AI agents to write high-quality software in security-critical systems. I will be writing this post primarily from my perspective as a software developer, protocol developer, and maintainer of security-critical software. Over the […]