Hide write-only prompt guidance when tools are filtered#2230

davidahmann wants to merge 2 commits into

github:maingithub/github-mcp-server:mainfrom

davidahmann:codex/write-prompt-filteringdavidahmann/github-mcp-server:codex/write-prompt-filteringCopy head branch name to clipboard