OpenShell Research / Dev Notes
OpenShell Research / Dev Notes
Dev Notes
Technical notes from the OpenShell team – reproducible research, benchmarks, and use case examples.
Featured note
Latest from the team
Can Formal Methods Govern AI-Generated Robot Actions? An OpenShell-Inspired Experiment
A robotics experiment asks whether an independent, SMT-backed policy boundary can efficiently govern AI-generated plans before they reach a simulated or physical robot.
Read note
