He just selected the top face of the cube and pushed it down with Q, which resulted in what looks like cutting. Selecting from top corners afterwards and pulling upper grid then closed it again like a roof.
You can look at this tool as modeling with lego pieces, where you either add or remove them to complete shapes, so in a way there is no usual “cutting” tool involved.