fix: add mcp server ids (#16904)

* fix: add mcp server ids

* revert to prev version
This commit is contained in:
Mubashir Osmani
2025-11-21 20:00:33 -08:00
committed by GitHub
parent a0d4d0b304
commit 696974bacb
@@ -1928,6 +1928,14 @@ class MCPServerManager:
f"Registry now contains {len(self.get_registry())} servers"
)
def get_mcp_servers_from_ids(self, server_ids: List[str]) -> List[MCPServer]:
servers = []
registry = self.get_registry()
for server in registry.values():
if server.server_id in server_ids:
servers.append(server)
return servers
def get_mcp_server_by_id(self, server_id: str) -> Optional[MCPServer]:
"""
Get the MCP Server from the server id