Introducing Verdi, an AI dev platform powered by GPT-4o