vscode-binder：在 Binder 上运行 VS Code 的配置
让 Binder/JupyterHub 环境通过代理启动 VS Code（code-server 或 openvscode-server）的配置仓库。
vscode-binder 是一个用于在 Binder 上运行 VS Code 的配置项目，配合 PyPI 包 jupyter-vscode-proxy 使用，README 提供了可直接在 mybinder.org 打开的试用链接。它通过环境变量进行配置：CODE_WORKINGDIR 设置 VS Code 工作目录（Binder 中为 $REPO_DIR，JupyterHub 中为 /home/jovyan），CODE_EXTENSIONSDIR 自定义扩展目录，CODE_EXECUTABLE 选择 code-server 或 openvscode-server，JUPYTER_VSCODE_PROXY_USE_SOCKET 可改为通过 Unix socket 而非 TCP 端口代理。仓库主要提供配置说明和环境变量表，具体实现依赖上述代理包。