Batocera is a retrogaming OS, not sure it's the best choice for video encoding. That said, I am not sure on the RPi, but on a PC you can use ffmpeg -i videofile.mp4
to check the audio/video codecs, bitrates, framerates, resolutions... Not as thorough as ffprobe, but better than nothing.