Pytype checks and infers types for your Python code

How does pytype compare with the PyAnnotate [1] and MonkeyType [2] dynamic / runtime PEP-484 type annotation type inference tools?

[1] https://github.com/dropbox/pyannotate

[2] https://github.com/Instagram/MonkeyType