In mypy's documentation they suggest including an empty "py.typed" file in the package directory to identify it as a typed package. Leo supports out-of-tree plugins this would allow them to use mypy for type checking.