Progressive disclosure has obvious benefits, but I think it would be more valuable to address how agents using either approach can still know which MCP server to search through. Maybe each tool has a search interface, and agents kick off searches in parallel for any ‘yet to be discovered’ tools, but there may be downsides to that as well