boardman (pypi): MicroPython deployment tool
Keywords: micropython|Raspberry Pi Pico