Mypy, Pytype, Pyright, and Pyre can help you keep your type-hinted Python code bug-free ... missing attributes or module members that are set dynamically, you have to add the attribute _HAS ...