Install Korean Rnd Regs in Codex

What you need first

• Codex, installed.
• uv, which gives the uvx command the server starts with.
• Your own value for YOUR_LAW_API_KEY.

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 korean-rnd-regs-mcp --env LAW_API_KEY=YOUR_LAW_API_KEY -- uvx korean-rnd-regs-mcp==0.58.0

2. Replace YOUR_LAW_API_KEY with your own value.
3. Start Codex again and type /mcp: the server is listed.

Check it worked

Ask Codex: List the tools of korean-rnd-regs-mcp.

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.