Biological conversion of carbon dioxide into methane has a crucial role in global carbon cycling and is operated by a specialised set of anaerobic archaea. Although it is known that this conversion is strictly linked with cooperative bacterial activity, such as through syntrophic acetate oxidation, there is also a limited understanding on how this cooperation is regulated and metabolically realised. In this work, we investigate the activity in a microbial community evolved to efficiently convert carbon dioxide into methane and predominantly populated by Methanothermobacter wolfeii. Through multi-omics, biochemical analysis and constraint-based modelling, we identify a potential formate cross-feeding from an uncharacterised Limnochordia species to M. wolfeii, driven by the recently discovered reductive glycine pathway and upregulated when hydrogen and carbon dioxide are limited. The quantitative consistency of this metabolic exchange with experimental data is shown by metagenome-scale metabolic models integrating condition-specific metatranscriptomics, which also indicate a broader three-way interaction involving M. wolfeii, the Limnochordia species, and Sphaerobacter thermophilus. Under limited hydrogen and carbon dioxide, aspartate released by M. wolfeii is fermented by Sphaerobacter thermophilus into acetate, which in turn is convertible into formate by Limnochordia, possibly forming a cooperative loop sustaining hydrogenotrophic methanogenesis. These findings expand our knowledge on the modes of carbon dioxide reduction into methane within natural microbial communities and provide an example of cooperative plasticity surrounding this process.