With Codex CLI

To configure the DVT MCP Server in the Codex CLI agent, follow these steps:

  1. Start a DVT MCP CLI Endpoint for your project

$DVT_HOME/bin/dvt_mcp.sh start /path/to/dvt/project -lang vlog -lang vhdl -default.build <compilation_args>

  1. Configure the command that starts the MCP Connector

Add the command to start the MCP Connector in the Codex configuration and make sure DVT_HOME is set.

codex mcp add dvt_mcp --env DVT_HOME=path/to/dvt/home -- /bin/bash -c '$DVT_HOME/bin/dvt_mcp.sh connect'

For more information, please refer to the official Codex MCP documentation

Note

Mainstream MCP hosts limit the environment of the MCP Server subprocess. Ensure that DVT_HOME and other necessary environment variables are properly set in the configuration.