Very basic sandboxing support for the 'shell' tools#1209

Merged

dgageot merged 1 commit intodocker:mainfrom

dgageot:sandbox

Jan 3, 2026

Commits on Jan 3, 2026

Allow the shell toolset to run in a docker container with a user-defined list of bind mounts and permissions
dgageot
committed