Activate Marvin using Phyrexian Devourer's ability by exiling the top card of your library, putting a number of +1/+1 counters on Marvin equal to the exiled card's mana value.
Repeat step 1 as desired or until you have an empty library.
Activate Marvin using Walking Ballista's second ability by removing a +1/+1 counter from Marvin, dealing 1 damage to any target.