Install Vericto Proxy mode (local, PostgreSQL) in Amp

What you need first

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

Steps

1. Open ~/.codex/config.toml, or create it. The Codex CLI, its IDE extension and the ChatGPT desktop app share this file.
2. Add this table at the end of the file.

{
  "amp.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 Amp.

Check it worked

Ask Amp: 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 Amp.

Nothing changes after a restart

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