🎯 Formally verified policy changes

The items that name it 2

• NVIDIA/OpenShell — sandboxed runtime for autonomous AI agents
  repo

  Formal verification is used to check a proposed policy change before it is applied, flagging risky new access (e.g. reaching a new host with credentials, calling a new API method) so it can wait for human review

• NVIDIA OpenShell — secure runtime for autonomous AI agent fleets
  repo

  Before a policy change is approved, OpenShell uses formal verification to flag risky new access it would grant, such as reaching a new host with credentials or calling a new API method, so those changes wait for human review

In every workspace you can read 4