https://ghuntley.com/fracture/ · I used to think GitHub Codespaces would help popularise Gitpod but now realize it is the other way around. Gitpod is currently permitted to exist in the Visual Studio Code ecosystem to popularise GitHub Codespaces, and Microsoft can step in at any moment to create legal crises that strategically divide the market from a business perspective because, like Apple and their AppStore: it is their ecosystem that they control and they are in absolute control.
https://github.com/python-lsp/python-lsp-server
There is also < https://github.com/microsoft/pyright>
(There is a good list here: https://lsp.sublimetext.io/language_servers/}