Imported from zhongjis/pi-config (
extensions/lsp/AGENTS.md). Install upstream withnpx skills add zhongjis/pi-config --skill lsp. Copyright stays with the author.
Purpose
Expose language-server queries through the unified lsp tool, append LSP errors to successful edit/write results, and deliver late errors once as a steer message.
Ownership
- Owns client/protocol handling, activation leases, status, and local tests.
- Home Manager owns managed server definitions; this extension owns loading and project overrides.
Local Contracts
- Clients share only when canonical workspace root and full resolved configuration match.
- Restart/shutdown MUST release this activation's leases; only the final holder stops a shared server.
- Managed configuration is
~/.pi/agent/lsp.json; project overrides use.pi/lsp.json. - You MUST NOT recreate root
lsp.jsonor treat.pi-lsp.jsonas the active override. - Installation uses the extension directory link, not a settings package entry.
Work Guidance
- README configuration owns managed-config details and precedence.
- You MUST preserve README Local Tweaks, provenance, and LICENSE.
- Configuration changes MUST respect ownership outside this repository.
Verification
- From repository root:
pnpm exec vitest run --project unit extensions/lsp/test. - Client pool, lifecycle, and configuration cover sharing and ownership.
Child DOX Index
- None; this document owns the entire subtree.
