https://www.kite.com for python
i first learned about it when i was working in an university group and had the task to transform a windowing algorithm already working on matlab to python.
it felt like a modern linter and lsp with additional support through machine learning. i don't quite know why it got comparative small recognition, but perhaps enough to remain an avantgarde pioneering both python and machine learning support for further generations and wider applications.