With GitHub Copilot CLI

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

Start a DVT MCP CLI Endpoint for your project

Linux

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

Windows

%UserProfile%/.dvt/bin/dvt_env.exe exec dvt_mcp.bat start /path/to/dvt/project -lang vlog -lang vhdl -default.build <compilation_args>

Configure the command that starts the MCP Connector

Add the necessary command to start the MCP Connector in your GitHub Copilot configuration file located at $HOME/.copilot/mcp-config.json.

Linux

{
    "mcpServers": {
        "dvt_mcp": {
            "type": "stdio",
            "command": "/bin/bash",
            "args": [
                "-c",
                "$HOME/.dvt/bin/dvt_env exec dvt_mcp.sh connect"
            ],
            "tools": [
                "*"
            ]
        }
    }
}

Windows

{
    "mcpServers": {
        "dvt_mcp": {
            "type": "stdio",
            "command": "cmd",
            "args": [
                "/c",
                "%UserProfile%/.dvt/bin/dvt_env.exe exec dvt_mcp.bat connect"
            ],
            "tools": [
                "*"
            ]
        }
    }
}

Alternatively, you can use the interactive CLI to add this configuration. Run /mcp add in GitHub Copilot interactive mode and follow the prompts to mirror the JSON structure above.

For more information, please refer to the official GitHub Copilot CLI MCP documentation

Note

dvt_env must be installed before use. Installation occurs automatically when you start any DVT product for the first time. To install it manually beforehand, run: $DVT_HOME/bin/dvt_env install.

Note

$DVT_HOME environment variable is required for the DVT MCP Server to function properly. While dvt_env attempts to auto-detect this value, it may fail in isolated CLI agent environments. If detection fails, explicitly set $DVT_HOME in your MCP Connector configuration.

{
    "mcpServers": {
        "dvt_mcp": {
            "type": "stdio",
            "command": "/bin/bash",
            "args": [
                "-c",
                "$HOME/.dvt/bin/dvt_env exec dvt_mcp.sh connect"
            ],
            "tools": [
                "*"
            ],
            "env": {
                "DVT_HOME": "/path/to/dvt/home"
            }
        }
    }
}