Wikipedia AI summary
Petracola waka
Petracola waka is a species of lizard in the family Gymnophthalmidae.
[1] It is endemic to Peru.