Extension for Visual Studio Code - devbox integration for VSCode