These data are proteomic data of engineered Escherichia coli strains. By comparing the proteomic differences of the engineered bacteria before and after the addition of formate, we aim to reveal the effects of formate on the engineered strains at the protein level.