Description
Editor diagnostics and completion for SATySFi documents can be provided by a language server. It is for authors and developers working with SATySFi source files.
FICHA · AUR
satysfi-language-server-git
SATySFi Language Server
- SATySFi language server
- LANGUAGE-SERVER
- TYPESETTING
- IDE
- Launchable
official+codex · reviewed · Jun 4, 2026 description in
en How to run
satysfi-language-server
Commands: satysfi-language-server
Permissions
Permissions not analysed for this source yet.