Paralaudakia erythrogaster, the redbelly rock agama, is an agamid lizard found in Iran, Afghanistan, and Turkmenistan.