@nudojs/lsp
v1.0.0
Published
Language Server Protocol implementation for the Nudo type inference engine
Maintainers
Readme
@nudojs/lsp
Language Server Protocol implementation for the Nudo type inference engine.
What is Nudo?
Nudo is a type inference engine for JavaScript. The type system is Abs (shape × term × pred × conf); production analysis is Abs-native. Inference executes observed call sites via abstract interpretation — no TypeScript, no build step. Contracts come from *.nudo.js sidecars + @nudo:refine / @nudo:interface.
This package
@nudojs/lsp implements an LSP server that provides Nudo-powered features to any editor:
- Hover type information
- Completions based on inferred types
- Diagnostics from abstract interpretation
- Debug scenario navigation for
@nudo:casewitnesses (interface CodeLens first; case is the debug sub-layer) - Go-to-Definition
- Find References
- Rename Symbol
- Signature Help (parameter hints)
- Code Actions / Quick Fixes
- Semantic Tokens (type-aware highlighting)
- Inlay Hints
Typically consumed by the nudo-vscode extension, but compatible with any LSP client.
Install
npm install @nudojs/lsp