Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or pylint

Josverl Josverl Last update: Feb 26, 2024

Boost MicroPython productivity in VSCode

pypi version python versions Documentation Status Star on GitHub All Contributors

pytest tests/common codecov Black

Open in VSCode

The intellisense and code linting that is so prevalent in modern editors, does not work out-of-the-gate for MicroPython projects. While the language is Python, the modules used are different from CPython , and also different ports have different modules and classes , or the same class with different parameters.

Writing MicroPython code in a modern editor should not need to involve keeping a browser open to check for the exact parameters to read a sensor, light-up a led or send a network request.

Fortunately with some additional configuration and data, it is possible to make the editors understand your flavor of MicroPython, wether you use one of the pre-compiled firmwares, but also if you run a one-off custom firmware version.

demo]

In order to achieve this a few things are needed:

  1. Stub files for the native / enabled modules in the firmware using PEP 484 Type Hints
  2. Specific configuration of the VSCode Python extensions
  3. Specific configuration of Pylint [ Optional ]
  4. Suppression of warnings that collide with the MicroPython principals or code optimization.

Please review the documentation on [https://micropython-stubber.readthedocs.io]

With that in place, VSCode will understand MicroPython for the most part, and help you to write code, and catch more errors before deploying it to your board.

Note that the above is not limited to VSCode and pylint, but it happens to be the combination that I use.

A lot of subs have already been generated and are shared on PyPi, github or pre-installed by a tool, so it is quite likely that you can just grab a copy be be productive in a few minutes.

To install the stubs from PyPI

This section describes how to install the stubs from PyPI, and how to use them in your project. If you want to create or maintain stub - please see the next section.

  • Install in a typings folder (recommended) pip install -U micropython-<port>[-<board>]stubs --no-user --target ./typings
  • Install in a venv (after activating) pip install -U micropython-<port>[-<board>]stubs --no-user

Examples:

pip install -U micropython-stm32-stubs

# Install stubs for a specific version.
pip install -U micropython-esp32-stubs==1.20.0.*

# Install stubs for a specific board.
pip install -U micropython-rp2-pico_w-stubs

For more details how to use the stubs please refer to the documentation on RTD

  1. The sister-repo MicroPython-stubs contains all stubs I have collected with the help of others, and which can be used directly. That repo also contains examples configuration files that can be easily adopted to your setup.

  2. A second repo micropy-stubs repo maintained by BradenM, also contains stubs, but in a structure only used and distributed by the micropy-cli tool. You should use micropy-cli to consume stubs from that repo.

The (stretch) goal is to create a VSCode add-in to simplify the configuration, and allow easy switching between different firmwares and versions.

Install and basic usage of the stubber tool

pip install micropython-stubber

# go to your working folder 
cd my_stub_folder
mkdir all-stubs

# clone the micropython repo's and switch to a specific version 
stubber clone
stubber switch --version v1.18

# get the document stubs for the current version ( v1.18 )
stubber get-docstubs

# get the frozen stubs for the current version ( v1.18 )
stubber get-frozen

# get the core CPython compatibility stubs from PyPi 
stubber get-core

# Update the fallback stubs
stubber update-fallback

#
ls all-stubs
dir all-stubs

Developing & testing

This is described in more detail in the developing and testing documents in the docs folder.

Branch Main

The name of the default branch has been changed to main. If you have cloned this repo before you main need to adjust the local repro to be aware of this, or create a fresh clone.

To update run the below command:

git branch -m master main                    
git fetch origin
git branch -u origin/main main                      
git remote set-head origin -a

for more info see Renaming a branch

Licensing

MicroPython-Stubber is licensed under the MIT license, and all contributions should follow this LICENSE.

Contributions

Jos Verlinde
Jos Verlinde

πŸ’» πŸ”¬ πŸ€” πŸ–‹ πŸ“š βœ”
Thonny, Python IDE for beginners
Thonny, Python IDE for beginners

πŸ€” πŸ”¬
MicroPython
MicroPython

πŸ”£ πŸ“š
pyright
pyright

πŸ”§
Boris Lovosevic
Boris Lovosevic

πŸ”£ πŸ“š
Paul Sokolovsky
Paul Sokolovsky

πŸ”£ πŸ“š
pycopy
pycopy

πŸ”£ πŸ“š
Pycom
Pycom

πŸš‡
Braden Mars
Braden Mars

πŸ› πŸ’» πŸ“š πŸ“¦
James Manners
James Manners

πŸ’» πŸ›
Patrick
Patrick

πŸ› πŸ’» πŸ“š
Paul m. p. P.
Paul m. p. P.

πŸ€” πŸ”¬
Edward K. Ream
Edward K. Ream

πŸ”Œ
Daryl Stultz
Daryl Stultz

πŸ“š
Keeping things together
Keeping things together

πŸ›
vbolshakov
vbolshakov

πŸ› πŸ“š
Mauro Riva
Mauro Riva

πŸ“ πŸ›
MathijsNL
MathijsNL

πŸ›
Callum Jacob Hays
Callum Jacob Hays

πŸ› βœ”
ZoltΓ‘n VΓΆrΓΆs
ZoltΓ‘n VΓΆrΓΆs

πŸ”£
vincent-l-j
vincent-l-j

πŸ“–
Egor Litvinov
Egor Litvinov

πŸ›
Sam Duke
Sam Duke

πŸ’»

This project follows the all-contributors specification. Contributions of any kind welcome!



Subscribe to our newsletter