After running `codex mcp remove ` to remove an MCP server registration,
View on GitHub →
Find related lessons →