A zero-config, Nix-powered development environment for ESP32 family boards running MicroPython. One command enters the dev shell with every tool you need — esptool, mpremote, picocom, and a custom esp ...