Mypy or pyright. My understanding is pyright is integrated with vscode, so might be the better target for helping contributors along.