Figure out a way to advertise MCP servers contributed by extensions without such a high cost of tokens

We need a better story for when extension-contributed MCP Servers are made available to the LLM & User. Right now, they are automatically started and their tools are automatically included with the next user message. This is a problem for GitHub MCP Server because it has so many tools, we don't want to dump all these tokens in every single user's request.

