Devbox counts grouped by agent name. Used to efficiently fetch devbox counts for multiple agents in a single request.
Map of agent name to devbox count. Each key is an agent name, and the value is the count of devboxes associated with that agent.
Total count of devboxes across all agents in the result.
Devbox counts grouped by agent name. Used to efficiently fetch devbox counts for multiple agents in a single request.