What we have learned at OpenShell applying formal methods to control AI agents

What happened

An intro to using formal methods to reason about permission changes in long-running AI agents.

Summary assembled by rule from the sources below

Sources