pub fn missing_servers(
expected: &[McpServer],
reported: &[ObservedServer],
) -> Vec<String>Expand description
The catalog (global) servers AgentMux launches an agent with that its CLI
doesn’t report (reported, from backend::mcp_observed), by name. That
is a server bound or switched on after the agent started: .mcp.json is
written at launch, so the agent needs a restart to get it. A server the
CLI reports as failed is reported, so not missing. The agent’s own private
servers are left out: the pane matches by name against catalog rows, and a
private server can share a name with a catalog one.