ANNIE Build Log#

Engineering posts about the formally verified safety kernel for autonomous AI agents — proof artifacts, contract surfaces, design decisions, and honest accounting of what is and isn’t yet verified.

For broader writing across the Verifiable Proof Systems portfolio, see blog.verifiableproof.systems.