In the QAT team, we are developing the Graphix library, a platform for MBQC compilation, simulation and analysis. In parallel, we also aim to develop a certified reference implementation called MBQCert. This would contribute to the broader effort to build a certified quantum software stack. We have formalized the MBQC pattern syntax and its semantics in terms of simulation within an abstract Hilbert space, as well as the transpilation process from circuits over the {𝐽 , 𝐶𝑍 } gate set, proving that this process produces runnable patterns. We are currently certifying that the transpiler preserves the semantics, i.e., that the transpilation process commutes with the simulations.