Dev Container

Keep this skill limited to contributor setup and Docker image maintenance. Use setup-arena for ordinary installation, runtime selection, container startup, data mounts, and readiness checks.

If an explicit /dev-container request is only about running Arena, hand it off to setup-arena and do not install contributor tooling.

Bootstrap a contributor checkout

Run these commands from the repository root:

git submodule update --init --recursive
pre-commit install