Skip to content

[argus] patch #46: tool_search.exclude — deferral opt-out for hot MCP tools#10

Merged
Nichol4s merged 2 commits into
argusfrom
argus-patch-46-tool-search-exclude
Jul 23, 2026
Merged

[argus] patch #46: tool_search.exclude — deferral opt-out for hot MCP tools#10
Nichol4s merged 2 commits into
argusfrom
argus-patch-46-tool-search-exclude

Commits

Commits on Jul 23, 2026