SageMath Language Server Protocol

git clone --branch 10.8 --single-branch https://github.com/sagemath/sage.git
cd sage
mamba env create --file environment-3.12-linux.yml --name sage10.8
mamba activate sage10.8

@@ -93,3 +93,3 @@
       python_files = sorted(
-            list(folder.glob("*.py")) + list(folder.glob('*.pxd')) + list(folder.glob('*.pyx'))
+            list(folder.glob("*.py")) + list(folder.glob('*.pxd')) + list(folder.glob('*.pyx')) + list(folder.glob('*.pyi'))
       )  # + list(folder.glob('*.pxd')) + list(folder.glob('*.h')))

python ./tools/update-meson.py
pip install .

pip uninstall cysignals
conda install cysignals

Supported from plugins(very thanks to those projects, they finished a lot of work):

• pygls basic LSP server framework
• pycodestyle linter for style checking
• autopep8 formatter for code formatting
• pyflakes linter for error checking
• jedi definition, type definiton, hover, references provider
• parso(dependency of jedi) for folding
• docstring-to-markdown praser for converting docstrings to markdown for hover information

Supported from native code:

• Only support using from sage.xxx import xxx or import sage.xxx (no alias)
• Local symbols cache for Sage
• Custom formatting rules for Sage
• Custom error checking for Sage
• Custom definition for Sage symbols
• Custom hover information for Sage symbols
• Check references for Sage (only in current file)
• Jump to definiton in Cython files (.pyx) from Stubs (.pyi) in Sage 10.8+
• Support type inference for Sage (depend on .pyi in Sage 10.8+)
• Support type hints hover info for unfollowed variables
• Quick fix for undefined name in Sage
• Completion for Sage (depend on .pyi in Sage 10.8+)

From source code:

git clone https://github.com/SeanDictionary/sage-lsp && cd sage-lsp
pip install .

From pip:

pip install sage-lsp

sagelsp --help  // print usage information
sagelsp --sage  // print if SageMath is available and its version
sagelsp -l      // set log level (default: INFO)
sagelsp --clear // clear local symbols cache and exit

Support global config file ~/.config/pycodestyle or local config file in project root .pycodestyle, setup.cfg, tox.ini for pycodestyle and autopep8, see more details in pycodestyle docs

Both pycodestyle and autopep8 config write in the same file under [pycodestyle] section, for example:

[pycodestyle]
max-line-length = 100
...

Install pre-release version 2.0.2-beta from Extension Market to try the new features.

The sorce code of the extension is in SeanDictionary/SageMath-for-VScode. You can also download the pre-release version from GitHub Releases

See CHANGELOG.md

See CONTRIBUTING.md

This project is licensed under the GPL-3.0 License. See the LICENSE file for details.