Python type stubs for LEGO pybricks EV3 programming, enabling better IDE support and type checking for FLL teams writing Python-based robot code.