the interopt log
Field notes on proving security.
Engineering, research, and product writing from the team building an agent that reads, proves, and fixes — without ever fabricating a finding.
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.