<prompt> Mazinho alicheza mechi 35 kwa timu ya taifa ya Brazil, ya kwanza ilikuwa Mei 1989 katika mechi ya kirafiki dhidi ya Peru na ya mwisho wakati wa Kombe la Dunia la FIFA la 1994. Katika Kombe la Dunia la 1994, mashindano ambayo Brazil iliendelea kushinda, alikuwa mshiriki wa tatu wa sherehe ya wanaume watatu na mtoto na Bebeto na Romário katika ushindi wa robo fainali dhidi ya Uholanzi. Mazinho pia alikuwa mshindi wa Copa América mwaka 1989  <response>: , ambapo wakati huo alikuwa kucheza kama full-back. 