Last released Jul 11, 2026
A verification layer that lets AI agents safely delete code in large codebases