Starting with Documentation towards Protection: Exploring the Advantages of a Formal Agent Ford Pratt 10 Jul 2026 · 6 min read