Install HOL Guard in Codex

What you need first

• Codex, installed.
• uv, which gives the uvx command the server starts with.

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 hol-guard -- uvx hol-guard==3.58.0 mcp serve --stdio

2. Start Codex again and type /mcp: the server is listed.

Check it worked

Ask Codex: List the tools of hol-guard.

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.