Create the agents dashboard page showing all agents from the Agentd daemon.
Dashboard Layout
1. Stats bar (like pipeline): running count, idle count, completed today, total cost today
2. Active agents section: agents with status running/idle, sorted by most recent activity
- Each card: run ID or name, status badge (running/idle), prompt preview (first 80 chars), cost, elapsed time, "view" link
- Running agents show a pulsing green dot
- Idle agents show a yellow dot (waiting for input)
3. Recent agents section: completed/failed/stopped agents, last 20
- Each card: run ID, status badge, prompt preview, cost, duration, error preview if failed
Data Source
- Call
GET http://localhost:8400/agents (Agentd daemon API) - Parse
[AgentInfo] JSON response - Separate into active (running/idle) vs inactive (completed/failed/stopped)
Tech
- HTMX: auto-refresh active agents list every 5s
- Use
sharedShellWithSubnav with subnav: "interactive" (active), "pipeline" (link to /pipeline) - CSS: Reuse pipeline CSS patterns (pl-stats, pl-runs, pl-run, pl-badge)
Ava verified: shipped as part of commit b05c4976 'agents web ui: interactive agent interface'. /agents endpoint live on beryllium and returns 200. Moving to Verified.