Is there a way to enforce variable declarations in Python through coding style?

Question

I'm using PyCharms to work on Python projects. I find that writing functions is easier when we declare the type of the function parameters or the type of the new variables declared explicitly. It also allows us to catch simple issues when we're calling the function incorrectly.

Is there a way to get the coding style to enforce variable/parameter type declaration?

Also does coding style apply only to the code that we're writing or is it possible that it might also throw errors on any imported libraries as well? Since, in Python the libraries are also Python source code which might get scrutinized by the IDE's coding style?