Procellosaurinus tetradactylus, Rodrigues's four-fingered teiid, is a species of lizard in the family Gymnophthalmidae. It is endemic to Brazil.