Install Vericto Proxy mode (local, PostgreSQL) in Devin Desktop

What you need first

• Devin Desktop, installed.
• Docker, which gives the docker command the server starts with.

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": {
    "vericto-proxy": {
      "command": "docker",
      "args": ["run", "-i", "--rm", "docker.io/vericto/vericto-proxy:5.0.0@sha256:4cec9c42f94946a6e0509192b89b63bd71450a7f27088496b034c9dd76791fa9", "/usr/local/bin/vericto-proxy", "mcp", "--database-url-file", "/run/secrets/db.url"]
    }
  }
}

3. Save the file and restart Devin Desktop.

Check it worked

Ask Devin Desktop: List the tools of vericto-proxy.

If it does not start

Cannot connect to the Docker daemon

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

Nothing changes after a restart

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