From Documentation through Protection: The Vitality of a Formal Agent Shapiro Hester 3 Mar 2026 · 7 min read
