Install Infraveil Control Plane in Codex

What you need first

• Codex, installed.
• uv, which gives the uvx command the server starts with.
• Your own values for YOUR_INFRAVEIL_BASE_URL,YOUR_INFRAVEIL_CLIENT_ID,YOUR_INFRAVEIL_AGENT_ID,YOUR_INFRAVEIL_AGENT_TOKEN.

Steps

1. Run this in a terminal. It writes the server into ~/.codex/config.toml, which the Codex CLI, its IDE extension and the ChatGPT desktop app share.

codex mcp add control-plane --env INFRAVEIL_BASE_URL=YOUR_INFRAVEIL_BASE_URL --env INFRAVEIL_CLIENT_ID=YOUR_INFRAVEIL_CLIENT_ID --env INFRAVEIL_AGENT_ID=YOUR_INFRAVEIL_AGENT_ID --env INFRAVEIL_AGENT_TOKEN=YOUR_INFRAVEIL_AGENT_TOKEN -- uvx infraveil-mcp==0.1.1

2. Replace YOUR_INFRAVEIL_BASE_URL,YOUR_INFRAVEIL_CLIENT_ID,YOUR_INFRAVEIL_AGENT_ID,YOUR_INFRAVEIL_AGENT_TOKEN with your own values.
3. Start Codex again and type /mcp: the server is listed.

Check it worked

Ask Codex: List the tools of control-plane.

If it does not start

spawn uvx ENOENT

uv is not on the PATH that Codex sees. Install it, or write the full path of uvx in the config.

The server starts, but its tools fail

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