Manticore: Integrate Search with AI Dev Environments