Different free intro video makers have various formats for exporting intro video files. However, the MP4 format appears to be the most commonly featured format across board.