This article has moved to https://joesec.me/articles/agent-security-formal-methods/.