GitHub: plan, build, verify and observe with Copilot agents · Sorted AI