github added a new agents tab between pull requests and actions. single glance and i don't feel like giving it a try at all