| 1440 | } |
| 1441 | |
| 1442 | function formatMcpReport(servers: readonly McpServerInfo[]): string { |
| 1443 | if (servers.length === 0) return 'No MCP servers are configured for this session.'; |
| 1444 | return [ |
| 1445 | `MCP servers (${servers.length}):`, |
| 1446 | ...servers.map((server) => { |
| 1447 | const base = `- ${server.name}: ${server.status} (${server.transport}, ${server.toolCount} tools)`; |
| 1448 | return server.error === undefined ? base : `${base}\n Error: ${server.error}`; |
| 1449 | }), |
| 1450 | ].join('\n'); |
| 1451 | } |
| 1452 | |
| 1453 | function formatTasksReport(tasks: readonly BackgroundTaskInfo[]): string { |
| 1454 | if (tasks.length === 0) return 'No background tasks for this session.'; |