Peptide macrocycles are promising therapeutics for a variety of disease indications due to their overall metabolic stability and potential to make highly selective binding interactions with targets. Recent advances in covalent macrocycle peptide discovery, driven by phage and mRNA display methods, have enabled the rapid identification of highly potent and selective molecules from large libraires of diverse macrocycles. However, there are currently limited examples of macrocycles that can be used to disrupt protein-protein interactions and even fewer examples that function by formation of a covalent bond to a target protein. In this work, we describe a directed counter-selection method that enables identification of covalent macrocyclic ligands targeting a protein-protein interaction using a phage display screening platform. This method utilizes binary and ternary screenings of a chemically modified phage display library, employing the stable and weakly reactive aryl fluorosulfate electrophile. We demonstrate the utility of this approach using the SARS-CoV-2 Spike-ACE2 protein-protein interaction and identify multiple covalent macrocyclic inhibitors that disrupt this interaction. The resulting compounds displayed antiviral activity against live virus that was irreversible after washout due to the covalent binding mechanism. These results highlight the potential of this screening platform for developing covalent macrocyclic drugs that disrupt protein-protein interactions with long lasting effects.