ivy-lsp 0.11.1

Language Server Protocol implementation for the Ivy formal specification language

ivy-lsp

Language Server Protocol (LSP) implementation for the Ivy formal specification language.

Features

• Document Symbols -- outline view of types, objects, actions, modules, properties
• Workspace Symbols -- search symbols across all .ivy files
• Go-to-Definition -- jump to symbol definitions across include boundaries
• Find References -- locate all usages of a symbol in the workspace
• Completion -- context-aware suggestions (after ., include, keywords, symbols in scope)
• Hover -- type signatures and symbol details on mouse hover
• Diagnostics -- parse errors, missing #lang directive, unresolved includes, unmatched braces

Installation

pip install ivy-lsp

Or as an optional extra of panther_ms_ivy:

pip install panther_ms_ivy[lsp]

Usage

Start the language server over stdio:

python -m ivy_lsp

Or via the installed console script:

ivy_lsp

With VS Code

Install the Ivy Language extension, which automatically starts ivy-lsp for .ivy files.

With Serena

Add ivy to the languages list in .serena/project.yml:

languages:
  - python
  - ivy

Configuration

When running standalone (outside VS Code), configure via environment variables:

Workspace indexing:

Variable	Description
IVY_LSP_INCLUDE_PATHS	Comma-separated directories to include (whitelist). When set, only these directories are scanned.
IVY_LSP_EXCLUDE_PATHS	Comma-separated directories to exclude, additive to the hardcoded exclusion list.

Tool timeouts:

Variable	Default	Description
IVY_LSP_VERIFY_TIMEOUT	120	Timeout in seconds for ivy_check verification
IVY_LSP_TOOL_COMPILE_TIMEOUT	300	Timeout in seconds for ivyc compilation
IVY_LSP_SHOW_MODEL_TIMEOUT	30	Timeout in seconds for ivy_show model inspection

When using the VS Code extension, indexing paths are set automatically from the ivy.lsp.includePaths and ivy.lsp.excludePaths settings.

Standalone example:

IVY_LSP_EXCLUDE_PATHS=submodules,test python -m ivy_lsp

Requirements

• Python 3.10+
• panther_ms_ivy (Ivy parser and compiler)
• pygls (Python LSP framework)

Development

git clone https://github.com/ElNiak/ivy-lsp.git
cd ivy-lsp
pip install -e ".[dev]"
pytest tests/ -v

License

MIT