What an MCP server's tool list costs: we counted the tokens of 34,374 of them