Please excuse the late response: That's an interesting request! You want to work with raw MIDI files instead of audio files in your game? I don't like to have to decline a polite request like this, but unfortunately converting these into decent sounding .mid files would be a pretty big challenge, since there's a lot in these 3 chiptune packs that is not translatable into MIDI (either at all, or else not in a way that'd sound anything like the original patches, even if the notes were technically the same). I could explain why if you wanted to know, but otherwise won't risk boring you with more unwanted technical info. :)
If you happened to want MIDI files enough to turn it into a commission job, it would probably actually be easier for me to make a new pack of MIDI files from scratch that were intentionally composed to conform to general MIDI instruments from the start...