aver-lsp

aver-lsp is the language server for the Aver programming language.

It provides:

• diagnostics for parse, type, and project-policy checks
• completion for Aver namespaces, effects, functions, and module members
• hover with function contracts, verify summaries, and decision context
• go-to-definition across local and dependent modules
• document symbols for modules, decisions, functions, and nested verify
• code lenses for verify and decision blocks
• native Format Document support through Aver's formatter

Install

cargo install aver-lsp

The server expects an Aver-capable editor client such as the VS Code extension in editors/vscode.

By default the VS Code extension looks for an aver-lsp binary in PATH.

Repository

• language + CLI: aver-lang
• shared runtime: aver-rt
• editor docs: editors/README.md