It uses Jedi under the hood, works ok for me. Sometimes it can't figure out the type, but that's when type annotations come handy.