No, PIO Arduino has one.
https://github.com/pioarduino/platform-espressif32/blob/main/boards/lolin_s3_mini_pro.json
That simplifies the entire needed platformio.ini down to
[env:lolin_s3_mini_pro]
; Arduino-ESP32 v3.3.0 with ESP-IDF v5.5.0
platform = https://github.com/pioarduino/platform-espressif32/releases/download/55.03.30-2/platform-espressif32.zip
board = lolin_s3_mini_pro
framework = arduino
lib_deps =
adafruit/Adafruit TinyUSB Library@^3.7.2
fortyseveneffects/MIDI Library@^5.0.2
And with src/main.cpp taken from https://github.com/adafruit/Adafruit_TinyUSB_Arduino/blob/master/examples/MIDI/midi_test/midi_test.ino plus the predeclaration of the two functions
void handleNoteOff(byte channel, byte pitch, byte velocity);
void handleNoteOn(byte channel, byte pitch, byte velocity);
above setup, the code compiles and uploads fine. The device manager shows
That the MIDI device is right there.
Of course, on my ESP32S3 board, I took care to use the “Native USB” USB port, not the USB port that just leads to a USB-to-UART converter.