The use of prime editing—a gene-editing technique that induces small genetic changes without the need for donor DNA and without causing double strand breaks—to correct pathogenic mutations and phenotypes needs to be tested in animal models of human genetic diseases. Here we report the use of prime editors 2 and 3, delivered by hydrodynamic injection, in mice with the genetic liver disease hereditary tyrosinemia, and of prime editor 2, delivered by an adeno-associated virus vector, in mice with the genetic eye disease Leber congenital amaurosis. For each pathogenic mutation, we identified an optimal prime-editing guide RNA by using cells transduced with lentiviral libraries of guide-RNA-encoding sequences paired with the corresponding target sequences. The prime editors precisely corrected the disease-causing mutations and led to the amelioration of the disease phenotypes in the mice, without detectable off-target edits. Prime editing should be tested further in more animal models of genetic diseases.