El escinco cocodrilo (Tribolonotus gracilis) es una especie de escincomorfos de la familia Scincidae.