Gene drives hold promise for the genetic control of malaria vectors. The development of vector population modification strategies hinges on the availability of effector mechanisms impeding parasite development in transgenic mosquitoes. We augmented a midgut gene of the malaria mosquito Anopheles gambiae to secrete two exogenous antimicrobial peptides, magainin 2 and melittin. This small genetic modification, capable of efficient nonautonomous gene drive, hampers oocyst development in both Plasmodium falciparum and Plasmodium berghei. It delays the release of infectious sporozoites, while it simultaneously reduces the life span of homozygous female transgenic mosquitoes. Modeling the spread of this modification using a large-scale agent-based model of malaria epidemiology reveals that it can break the cycle of disease transmission across a range of transmission intensities.