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