What we have learned at OpenShell applying formal methods to control AI agents
(news.ycombinator.com)
1.
2.
Nvidia NemoClaw
(news.ycombinator.com)