chore(release): codex 1.1.20 (source)

Author: rldyourmnd

scripts/doctor_system_codex.sh

@@ -298,6 +298,8 @@ mcp_servers = sorted(json.loads(mcp_config_path.read_text(encoding="utf-8"))["mc
 configured_mcp_servers = config_data.get("mcp_servers") or {}
 for server in mcp_servers:
     checks.append((f"mcp configured {server}", server in configured_mcp_servers))
+for server in ("semgrep",):
+    checks.append((f"retired MCP absent {server}", server not in configured_mcp_servers))
 
 tool_approvals = {
     "sequential-thinking": {"sequentialthinking": "approve"},

scripts/install_system_codex.sh

@@ -310,6 +310,7 @@ mcp_tool_approvals = {
     },
     "grep": {"searchGitHub": "approve"},
 }
+retired_mcp_servers = {"semgrep"}
 
 managed_agents = []
 for agent_path in sorted(system_agent_dir.glob("*.toml")):
@@ -588,6 +589,8 @@ def is_rldyour_plugin_header(header_path: list[str]) -> bool:
 def is_managed_header(header: str, header_path: list[str]) -> bool:
     if header in managed_headers:
         return True
+    if len(header_path) >= 2 and header_path[0] == "mcp_servers" and header_path[1] in retired_mcp_servers:
+        return True
     if len(header_path) >= 2 and header_path[0] == "mcp_servers" and header_path[1] in mcp_servers:
         return True
     return (