This will not work with Arduino IDE 1.6.5 (or below) or with non ESP32-S2/S3 devices (e.g. Arduino UNO, Arduino MEGA, etc.). To use this library you need to have Arduino core for the ESP32 installed.
This plugin brings MicroPython support into JetBrains IDEs in Free and Pro editions. It provides reliable device file system integration, REPL support, stub package management, and smooth workflows ...