Install PremAgentic in Devin Desktop

What you need first

• Devin Desktop, installed.
• Docker, which gives the docker command the server starts with.
• Your own values for YOUR_PREM_API_URL,YOUR_PREM_AGENT_TOKEN.

Steps

1. Open ~/.config/devin/mcp_config.json, or create it. On Windows it is %APPDATA%\devin\mcp_config.json.
2. Add this block. If the file already has mcpServers, add only the entry inside it.

{
  "mcpServers": {
    "premagentic": {
      "command": "docker",
      "args": ["run", "-i", "--rm", "-e", "PREM_API_URL", "-e", "PREM_AGENT_TOKEN", "ghcr.io/premagentic/premagentic-mcp:0.1.0"],
      "env": { "PREM_API_URL": "YOUR_PREM_API_URL", "PREM_AGENT_TOKEN": "YOUR_PREM_AGENT_TOKEN" }
    }
  }
}

3. Replace YOUR_PREM_API_URL,YOUR_PREM_AGENT_TOKEN with your own values.
4. Save the file and restart Devin Desktop.

Check it worked

Ask Devin Desktop: List the tools of premagentic.

If it does not start

Cannot connect to the Docker daemon

Docker is not running. Start it, then restart Devin Desktop.

The server starts, but its tools fail

A YOUR_… placeholder is still in the config, or its value is wrong.

Nothing changes after a restart

The file is not valid JSON any more. Look for a missing comma where the block was added.