OpenShell applies formal methods to agent control

OpenShell shares lessons on applying formal methods to control large, long‑running AI agents, discussing permission‑review breakdowns and demonstrating use of the open‑source Z3 library to prove agent policy changes remain within approved bounds.