Read news on OpenShell with our app.
Read more in the app
What we have learned at OpenShell applying formal methods to control AI agents
