> pytype (Google) [1], PyAnnotate (Dropbox) [2], and MonkeyType (Instagram) [3] all do dynamic / runtime PEP-484 type annotation type inference [4] to generate type annotations.

Hypothesis generates tests from type annotations; and icontract and pycontracts do runtime type checking.