refresh_server_info(
self,
server_info: list[MCPServerInfo],
) -> NoneReplace the displayed server list; typically after server startup.
Rebuilds the modal body in place so a user who opened /mcp before
tools finished loading sees them appear without closing/reopening.