Observe Codex through MCP

Connect to the hosted Streamable HTTP MCP server and record decisions, tool outcomes, checkpoints, and verification results directly into Supabase.

1. Create a project key

Open the Executions page and select Connect Codex. It creates a scoped key and generates the complete command automatically.

2. Add the user-level MCP server

The command generated by Connect Codex saves the hosted URL and scoped credential in your user catalog. Restart Codex once; the same entry is then shared by the desktop app, CLI, and IDE on that host.

export ALETHEIA_API_KEY=al_live_replace_me
codex mcp add aletheia \
  --url https://your-deployment.vercel.app/api/mcp \
  --bearer-token-env-var ALETHEIA_API_KEY
codex mcp get aletheia

3. Record a durable trace

Use Aletheia to trace this task. Start a trace, record meaningful
decisions, tool outcomes and checkpoints while you work, then finish
the trace after verification. Do not record secrets or hidden chain-of-thought.