Is this not the same?

https://play.google.com/store/apps/details?id=is.xyz.mpv

Huh, I didn't think mpv had a GUI, but I haven't used it in years. Would certainly be a welcome replacement for VLC that constantly bogs down my TV scanning every time I wake it up.