LSP (Language Server Protocol) support for SageMath

asked 2020-04-10 15:12:00 +0100

petRUShka gravatar image

updated 2020-04-10 20:35:31 +0100

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?

P.S. It is looked as there is evidence of some success with jedi-vim, but I cannot reproduce it at the moment.

edit retag flag offensive close merge delete

Comments

This kind of feature would be great in order to improve the experience of using SageMath in a Jupyter notebook in VSCode!

Bakerbakura gravatar imageBakerbakura ( 2021-02-02 14:58:43 +0100 )edit