I have similar problem.... finding the best place to go to get the proper download addon packages/ libraries etc.
There seems to be too many boards...??? and too many places to go ....
I have a ESP32 PICO KIT which I think is a fairly new board, I tried the link in the previous post but a simple audio sketch would not compile......
......
https://raw.githubusercontent.com/espre ... index.json.......
Yet the ESP32 PICO KIT and the ESP32 C3 devkit were listed....
The packages link I had been using for my ESP PICI KIT was as below......
...........
https://dl.espressif.com/dl/package_esp32_index.json ............
and I can get sketches to compile for PICO so far OK. but I see the ESP32 C3 Devkit in not listed
Looks like there is not any central respositary for the packages files and libraries for the Arduino.....they are an addon...???
I have yet to find a good place for Newbie ESP32 Arduino users just to get started.............