Hero Gauntlet, let's go.
Summon means summon. And he just blocked an attack. Yea, Mirlif can summon Nolap, Proto, and Snowchain, but only for an attack, or to block. Nolap will always be a block.