Tag
The article argues that traditional code review is ineffective for AI agents and introduces SafeScript, a Turing-incomplete JavaScript subset designed for static verification, shifting security focus from code review to policy enforcement.