[minor] small cmdline to list agents by name