Peptides have historically been underutilized for covalent inhibitor discovery, despite their unique abilities to interact with protein surfaces and interfaces. This is in part due to a lack of methods for screening and identifying covalent peptide ligands. Here, we report a method to identify covalent cyclic peptide inhibitors in mRNA display. We combine co- and post-translational library diversification strategies to create cyclic libraries with reactive dehydroalanines (Dhas), which we employ in selections against two model targets. The most potent hits exhibit low nanomolar inhibitory activities and disrupt known protein–protein interactions with their selected targets. Overall, we establish Dhas as electrophiles for covalent inhibition and showcase how separate library diversification methods can work synergistically to dispose mRNA display to novel applications like covalent inhibitor discovery.