AFAIK, нет инструмента, способного совершить всю эту магию одновременно, но ...
eclipse может сделать некоторый вывод об основных типах, например, классах и экземплярах-членах,функции, могут выполнять автозаполнение
, семантика и emacs также делают это
импортированные модули Pywin, IDLE и pycrust introspect, также обеспечивая автозаполнение
Pylint выполняет обширные статические проверки, помимо других функций