Procellosaurinus

Procellosaurinus is a genus of lizards in the family Gymnophthalmidae. They are endemic to Brazil.

Species

 * Procellosaurinus erythrocercus Rodrigues, 1991 – Rodrigues's red teiid
 * Procellosaurinus tetradactylus Rodrigues, 1991 – Rodrigues's four-fingered teiid