()
| 333 | |
| 334 | // Check for MCP servers still connecting |
| 335 | function getPendingServerNames(): string[] | undefined { |
| 336 | const appState = getAppState() |
| 337 | const pending = appState.mcp.clients.filter(c => c.type === 'pending') |
| 338 | return pending.length > 0 ? pending.map(s => s.name) : undefined |
| 339 | } |
| 340 | |
| 341 | // Helper to log search outcome |
| 342 | function logSearchOutcome( |