Function is_launched 

pub(crate) fn is_launched(server: &McpServer) -> bool

Whether a row is written into .mcp.json at all: not the reserved agentmux name, and a config that is JSON. insert_server_rows skips the others, so a server that is never launched is never “missing”.