the interopt log
Field notes on proving security.
Engineering, research, and product writing from the team building an agent that tests, proves, and fixes, and shows its evidence for all of it.
No posts in All yet. Check back soon.
stay in the loop
New posts, in your inbox.
The occasional deep dive on proving security. No spam, unsubscribe anytime.