MIDI files are great for editing, but terrible for sharing. Try sending a .mid file to a friend and watch them struggle to open it. Most phones don't have MIDI players.
Social platforms don't support MIDI uploads. What you actually need is an MP3 — something that plays everywhere. The usual workflow involves opening a DAW, loading a SoundFont, bouncing to audio, and then compressing. That's a lot