| 105 | }; |
| 106 | |
| 107 | const getHealthIndicator = (server: McpGroupServerResponse) => { |
| 108 | const status = server.healthStatus ?? 'unknown'; |
| 109 | switch (status) { |
| 110 | case 'healthy': |
| 111 | return ( |
| 112 | <span |
| 113 | className="w-2.5 h-2.5 rounded-full bg-green-500" |
| 114 | title="Healthy - All systems operational" |
| 115 | /> |
| 116 | ); |
| 117 | case 'unhealthy': |
| 118 | return ( |
| 119 | <span |
| 120 | className="w-2.5 h-2.5 rounded-full bg-red-500" |
| 121 | title="Unhealthy - Server not responding" |
| 122 | /> |
| 123 | ); |
| 124 | default: |
| 125 | return ( |
| 126 | <span |
| 127 | className="w-2.5 h-2.5 rounded-full bg-gray-400" |
| 128 | title="Unknown - Health status not checked" |
| 129 | /> |
| 130 | ); |
| 131 | } |
| 132 | }; |
| 133 | |
| 134 | const selectedCount = selectedServers.size; |
| 135 | const totalTools = servers |