Les prozostrodontes ( Prozostrodontia ) forment un clade de cynodontes comprenant les Mammaliaformes et leurs plus proches parents. - Il a été érigé en tant que clade par Liu et Olsen en 2010 et défini comme le taxon le moins inclusif contenant Prozostrodon brasiliensis, Tritylodon langaevus...