src/tools/miri/priroda/vscode_launch.json

{
    "version": "0.2.0",
    "configurations": [
        {
            "name": "Priroda: Run and Attach",
            // Attaches to an already-running Priroda DAP server started by the
            // preLaunchTask below, using VS Code's built-in "node" debug type as
            // the registered editor-side type so no custom Priroda extension is
            // required.
            "type": "node",
            "request": "attach",
            "preLaunchTask": "Priroda: Start DAP Server",
            "debugServer": 4711
        }
    ]
}