Nvidia открыла код OpenShell — рантайма с песочницами для ИИ-агентов

Nvidia выложила на GitHub OpenShell (Apache 2.0) — рантайм, в котором агенты работают в песочницах на уровне ядра и не получают доступа к реальным API-ключам. Изменения политик проверяет формальный верификатор на Z3 SMT, а учётные данные хранит шлюз и подставляет только для одобренных эндпоинтов.

• OpenShell состоит из шлюза, супервизора и песочниц на минимальном Ubuntu
• Агент не видит ключи: шлюз подставляет их только для разрешённых эндпоинтов
• Проверка политик через Z3 SMT выявляет новые доступы и ждёт одобрения человека
• Версия 0.1.x: часть форм политик не моделируется и отклоняется как fail-closed