The Puerto Rican rock frog (Eleutherodactylus cooki), also known as the Puerto Rican cave-dwelling frog or rock coquí, and locally as coquí guajón, or guajón for brevity, is a threatened frog species from the coqui genus. This unique species of tropical frogs dwells primarily in crevices and grottos in the Cuchilla de Panduras mountain range in southeastern Puerto Rico. The native name guajón is derived from its habitat, guajonales, which are caves formed by rock formations between huge stones. Despite being the state animal and considered emblematic of the region, of the 17 species of coquí, three are believed to be extinct and the rest are rare and declining in numbers. The Puerto Rican rock frog is extremely restricted in geographical distribution. The frog is threatened due to deforestation, agricultural, rural, and industrial development, and the associated infrastructure. It is sometimes called the "demon of Puerto Rico" (demonio de Puerto Rico in Spanish) because of its eerie call and phantom-like appearance. The species was first described by American herpetologist, Chapman Grant in 1932.

...