Skip to content
Corvid Docs

Corvid LSP

Phase 24 starts with a reusable language-server core rather than an editor-only prototype. The first shipped layer is transport-independent diagnostics:

  • DocumentSnapshot holds an open document URI and text.
  • analyze_document runs the real Corvid frontend through corvid-driver.
  • Compiler diagnostics become standard lsp_types::Diagnostic values.
  • Byte spans are converted to zero-based LSP ranges with UTF-16 columns.
  • Compiler hints are preserved inside the diagnostic message.

The stdio server is now wired as the corvid-lsp binary. It supports:

  • initialize with full-document text sync capability.
  • shutdown / exit.
  • textDocument/didOpen.
  • textDocument/didChange.
  • textDocument/didSave.
  • textDocument/hover.
  • textDocument/completion.
  • textDocument/definition.
  • textDocument/references.
  • textDocument/rename.
  • workspace/symbol.
  • textDocument/publishDiagnostics notifications backed by the same compiler diagnostic path as the CLI.

The implementation keeps protocol concerns separated: server.rs owns JSON-RPC method handling and document state, while transport.rs owns LSP Content-Length framing over stdin/stdout.

Hover support is compiler-backed, not regex-based. hover.rs parses, resolves, and typechecks the current document, then returns Markdown summaries for:

  • inferred expression types;
  • agent signatures and constraints;
  • tool signatures, effect rows, and dangerous approval boundaries;
  • prompt signatures, effect rows, calibration/cache flags, strict citations, and model-routing mode;
  • type and effect declarations.

Completion support is context-aware and parser-backed. completion.rs uses the current partial document so suggestions still work while the user is typing, and keeps AI-native contexts specific:

  • declaration, statement, and AI-native keywords;
  • declared agents, tools, prompts, types, effects, models, and evals;
  • PascalCase approval labels derived from dangerous tools after approve;
  • declared effect names after uses;
  • model catalog names in prompt-routing and escalation contexts.

Navigation support is resolver-backed. navigation.rs resolves the current document and uses DefId / LocalId identity for:

  • go-to-definition for declarations and locals;
  • find-references for declaration and local bindings;
  • rename edits that only touch the selected binding identity;
  • workspace symbol results for open documents, including agents, tools, prompts, types, effects, models, and evals.

The reference VS Code client lives at extensions/vscode-corvid. It registers .cor files, starts corvid-lsp over stdio, and exposes the server’s diagnostics, hover, completion, definition, references, rename, and workspace-symbol features through the standard vscode-languageclient package. It also includes syntax highlighting, language configuration, and snippets for Corvid’s general and AI-native constructs.

Server discovery order:

  1. corvid.lsp.path VS Code setting.
  2. CORVID_LSP_PATH environment variable.
  3. Repository-local target/debug/corvid-lsp(.exe).
  4. Repository-local target/release/corvid-lsp(.exe).
  5. corvid-lsp on PATH.

Current validation:

cargo test -p corvid-lsp
cargo check --workspace
npm run verify --prefix extensions/vscode-corvid