With GitHub Copilot CLI

To configure the DVT MCP Server in the GitHub Copilot 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 necessary environment and the command to start the MCP Connector in your GitHub Copilot configuration file located at $HOME/.copilot/mcp-config.json.

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

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

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.