I have been using pyright with lsp in emacs and can recommend.