The web-footed coqui, stream coqui, Puerto Rican stream frog or Karl's robber frog (Eleutherodactylus karlschmidti), is a possibly extinct Puerto Rican frog species in the family Eleutherodactylidae. It was first described by Chapman Grant in 1931, and was named after herpetologist Karl Patterson Schmidt.