Codex

To configure the MCP Server in the Codex VS Code Extension, go to Codex Activity ‣ Open Settings ‣ MCP servers ‣ Add server, and add the following configuration:

  • Name: dvt

  • Type: STDIO

  • Command to launch: /bin/bash

  • Arguments: [-c, $HOME/.dvt/bin/dvt_env exec dvt_mcp.sh connect]

  • Name: dvt

  • Type: STDIO

  • Command to launch: cmd

  • Arguments: [/c, %UserProfile%/.dvt/bin/dvt_env.exe exec dvt_mcp.bat connect]

Alternatively, you can configure the MCP Server using Codex CLI:

codex mcp add dvt -- /bin/bash -c '$HOME/.dvt/bin/dvt_env exec dvt_mcp.sh connect'

codex mcp add dvt -- cmd /c '%UserProfile%/.dvt/bin/dvt_env.exe exec dvt_mcp.bat connect'