Saccharomyces boulardii is a probiotic yeast that has been used for promoting gut health as well as preventing diarrheal diseases. This yeast not only exhibits beneficial phenotypes for gut health but also can stay longer in the gut than Saccharomyces cerevisiae. Therefore, S. boulardii is an attractive host for metabolic engineering to produce biomolecules of interest in the gut. However, the lack of auxotrophic strains with defined genetic backgrounds has hampered the use of this strain for metabolic engineering. Here, we report the development of well-defined auxotrophic mutants (leu2, ura3, his3, and trp1) through clustered regularly interspaced short palindromic repeat (CRISPR)-Cas9-based genome editing. The resulting auxotrophic mutants can be used as a host for introducing various genetic perturbations, such as overexpression or deletion of a target gene, using existing genetic tools for S. cerevisiae. We demonstrated the overexpression of a heterologous gene (lacZ), the correct localization of a target protein (red fluorescent protein) into mitochondria by using a protein localization signal, and the introduction of a heterologous metabolic pathway (xylose-assimilating pathway) in the genome of S. boulardii. We further demonstrated that human lysozyme, which is beneficial for human gut health, could be secreted by S. boulardii. Our results suggest that more sophisticated genetic perturbations to improve S. boulardii can be performed without using a drug resistance marker, which is a prerequisite for in vivo applications using engineered S. boulardii.