From Documentation towards Protection: A Diverse Function of Formal Agents Flynn Breum 3 Mar 2026 · 7 min read