[求助] 有没有MP3的解码库?

想用ESP32播放MP3，已经有了IIS的功放板，SPI的TF卡外挂，想播放音乐，只能播放wav，请教大神，怎么软解MP3，再播放？

目前还没有看到用micropython直接解码MP3的，有使用arduino的例子。

https://how2electronics.com/esp32-music-audio-mp3-player/

使用esp-adf框架就可以解码常见音频格式