Laudakia papenfussi
Habitat
Rocky areas with crevices and caves, 2,700–3,300m
Range
Tibet (Wikipedia); the Reptile Database also lists Himachal Pradesh
Papenfuss's rock agama is an agamid lizard that Wikipedia describes as endemic to Tibet (China). Its preferred habitat is rocky areas with crevices and caves, at 2,700–3,300 m, and it lays eggs (Wikipedia, general species account).
The Reptile Database also lists Himachal Pradesh in India, so its Indian occurrence rests on that source. The account used here gives no further detail.