micropython-rp2-pico-stubs (pypi): MicroPython stubs
Keywords: micropython|mypy-stubs|pylance|pylint|pyright|python|static-typing|type-checking|vscode