What are those tiny red insects that crawl around on rocks in the summertime?

sounds like mites which, stricly speaking, are not insects but arachnids

they are called spider mites