Take a look at mypy and pytype - there is a drive in the Python community to add a verification system to the language.