Afroedura tirasensis, also known as African rock gecko, is a species of African gecko endemic to Namibia. It was originally described as a subspecies of Afroedura africana.