I will definitely check this out! Very similar is https://google.github.io/pytype/ https://google.github.io/pytype/ which also infers and adds annotations, as

I will definitely check this out! Very similar is https://google.github.io/pytype/ https://google.github.io/pytype/ which also infers and adds annotations, as well as providing a type checker which in some ways works better than mypy (recursive types!)