pipes, rok temu

It’s all about having the .lrc file, it gets read automatically (as long as it’s named like the song file) by mpv player and many android players.

It’s a simple text file containing the lyrics with timestamps. You can get them from deezer for example with certain downloaders. Or look for them on Soulseek.