Fail closed on unknown toolsets in strict mode#2118

davidahmann wants to merge 1 commit intogithub:maingithub/github-mcp-server:mainfrom

davidahmann:codex/issue-2117-strict-unknown-toolsetsdavidahmann/github-mcp-server:codex/issue-2117-strict-unknown-toolsetsCopy head branch name to clipboard