Python type stubs for LEGO pybricks EV3 programming, enabling IDE autocomplete and type checking for FLL robot development.