Abstract Methanogenesis allows methanogenic archaea (methanogens) to generate cellular energy for their growth while producing methane. Hydrogenotrophic methanogens thrive on carbon dioxide and molecular hydrogen as sole carbon and energy sources. Thermophilic and hydrogenotrophic Methanothermobacter spp. have been recognized as robust biocatalysts for a circular carbon economy and are now applied in power-to-gas technology. Here, we generated the first manually curated genome-scale metabolic reconstruction for three Methanothermobacter spp‥ We investigated differences in the growth performance of three wild-type strains and one genetically engineered strain in two independent chemostat bioreactor experiments. In the first experiment, with molecular hydrogen and carbon dioxide, we found the highest methane production rate for Methanothermobacter thermautotrophicus ΔH, while Methanothermobacter marburgensis Marburg reached the highest biomass growth rate. Systems biology investigations, including implementing a pan-model that contains combined reactions from all three microbes, allowed us to perform an interspecies comparison. This comparison enabled us to identify crucial differences in formate anabolism. In the second experiment, with sodium formate, we found stable growth with an M. thermautotrophicus ΔH plasmid-carrying strain with similar performance parameters compared to wild-type Methanothermobacter thermautotrophicus Z-245. Our findings reveal that formate anabolism influences the diversion of carbon to biomass and methane with implications for biotechnological applications of Methanothermobacter spp. in power-to-gas technology and for chemical production. Graphical Abstract Broader context Renewable energy sources (e.g., wind and solar) provide carbon-free electric power. However, their intermittency and offset between peak production and demand generate the need to store this electric power. Furthermore, these technologies alone do not satisfy the demand for carbon-based commodities. Power-to-gas technology provides a means to store intermittent renewable electric power with concomitant carbon dioxide recycling into a chemical energy carrier, such as methane, on a centralized and decentralized scale. This is particularly important to establish equitable energy strategies for all countries, as is highlighted by the United Nations Sustainable Development Goals. With this work, we provide an integrated systems-biology platform for Methanothermobacter spp. to optimize biological power-to-gas technology and formulate strategies to produce other value-added products besides methane.