Ostodolepidae is an extinct family of tuditanomorph microsaurs. They are unique among microsaurs in that they were large, reaching lengths of up to 2 feet (61 cm), terrestrial, and presumably fossorial. Ostodolepid remains have been found from Early Permian beds in Texas and Oklahoma.
Species taxanomy provided by GBIF Secretariat (2022). GBIF Backbone Taxonomy. Checklist dataset https://doi.org/10.15468/39omei accessed via GBIF.org on 2023-06-13; License: CC BY 4.0