Inteins are polypeptide sequences found in a small set of primarily bacterial proteins that promote the splicing of flanking pre-protein sequences to generate mature protein products. Inteins can be engineered in a "split and inverted" configuration such that the protein splicing product is a cyclic polypeptide consisting of the sequence linking two intein subdomains. We have engineered a split intein into a retroviral expression system to enable the intracellular delivery of a library of random cyclic peptides in human cells. Cyclization of peptides could be detected in cell lysates using mass spectrometry. A functional genetic screen to identify 5-amino acid-long cyclic peptides that block interleukin-4 mediated IgE class switching in B cells yielded 13 peptides that selectively inhibited germ line ⑀ transcription. These results demonstrate the generation of cyclic peptide libraries in human cells and the power of functional screening to rapidly identify biologically active peptides.