Revision history [back]

There are plenty kind of language servers for Python: LSP (palantir, sourcegraph, microsoft), jedi, rope and etc.

The Language Server protocol is used between a tool (the client) and a language smartness provider (the server) to integrate features like auto complete, go to definition, find all references and alike into the tool

There are a lot of editors (almost any) and IDE with support of that kind of language servers.

Question is: are there some adaptations of that solutions to SageMath (which is heavily based on Python and translated to Python)? Or may be some standalone solution for SageMath?

Are there

There are plenty kind of language servers for Python: LSP (palantir, sourcegraph, microsoft), jedi, rope and etc.

The Language Server protocol is used between a tool (the client) and a language smartness provider (the server) to integrate features like auto complete, go to definition, find all references and alike into the tool

There are a lot of editors (almost any) and IDE with support of that kind of language servers.

Question is: are there some adaptations of that solutions to SageMath (which is heavily based on Python and translated to Python)? Or may be some standalone solution for SageMath?

There are plenty kind of language servers for Python: LSP (palantir, sourcegraph, microsoft), jedi, rope and etc.

The Language Server protocol is used between a tool (the client) and a language smartness provider (the server) to integrate features like auto complete, go to definition, find all references and alike into the tool

There are a lot of editors (almost any) and IDE with support of that kind of language servers.

Question is: are there some adaptations of that solutions to SageMath (which is heavily based on Python and translated to Python)? Or may be some standalone solution for SageMath?