Maude LSP

Language support for the Maude system in VS Code: syntax highlighting, code folding, and — via a bundled Language Server — real diagnostics, an outline, and go-to-definition / hover / completion.

Features

• Syntax highlighting & folding for .maude files (modules, comments, etc.).
• Diagnostics: runs the maude interpreter on your file and shows its errors/warnings inline.
• Outline (document symbols): modules, sorts, ops, equations, rules, …
• Go to definition / hover / completion for sort/op/var/module names, including module parameters and the base names of parameterized modules/sorts. Names defined in files reached via load/in and in the Maude prelude/library are indexed too.

Requirements

• The maude executable must be installed and on your PATH (or set maude.path). Diagnostics run the real interpreter. No separate Node.js install is needed — the language server runs on VS Code's built-in runtime.

Settings

• maude.path (default maude) — path to the maude executable.
• maude.diagnostics.enabled (default true).
• maude.diagnostics.timeoutMs (default 5000) — maude is killed after this.
• maude.libPath (default empty) — Maude library directory (contains prelude.maude). If empty, falls back to MAUDE_LIB, then a path derived from the maude binary.

Known limitations

Navigation is heuristic (name-based, not type-aware): symbolic mixfix operators, find-references, and type-resolved lookups are not yet supported. Block comments ***( … ) are matched with a paren counter.