ANALYSIS AI Infrastructure
NVIDIA's OpenShell Puts the Locks Outside the AI Agent: How a Formal Policy Prover Changes Who Decides What an Agent May Touch
The open-source runtime enforces permissions outside the agent workload, keeps credentials out of reach, and uses formal logic to prove what a policy allows. Here is what is demonstrated, what is claimed, and what remains unproven.