language-server skills

40 tagged language-server, measured the same way as everything else here.

Browse within: bare-metal 30compiler 30gemini-cli-extension 30interpreter 30llvm 30lsp 14coding-agent 10jet 5julia 5static-analysis 5

nim-mcp-tools

01

nim-lang/langserver

Skill Claude CodeCodex

Use for Nim symbol navigation, diagnostics, and type resolution. MANDATORY: Use specialized MCP tools (nimFindSymbols, nimFindReferences, nimListSymbols, nimCheckFile, nimCheckProject, nimFindTypeDefinition) first; fall back to grep only on error or user confirmation.

not rated 311 2d ago A 64 tokens original MIT

kmp-lsp

02

Hessesian/kmp-lsp

Skill Claude CodeCodex

Kotlin/Java/Swift LSP server for code navigation in Android and iOS codebases. Use when navigating Kotlin, Java, or Swift source files: finding class definitions, listing symbols, jumping to implementations, finding all usages, checking type signatures, or switching workspace between projects. Triggers for: "find this…

not rated 199 +6 changed 1mo ago A SkillSpector: pass 114 tokens original MIT

mussolene/1c_hbk_bsl

Skill Codex needs its repo

Semantic workflow for implementing, reviewing, or fixing onec-hbk-bsl diagnostic rules. Use for BSL/1C rule semantics, CST or tree-sitter behavior, BSLLS parity, performance, synthetic fixtures, related-rule overlap, and questions about whether a rule matches its documented language behavior.

not rated 12 +1 8d ago A 68 tokens original MIT

plumb-git

04

plumbkit/plumb

Skill Claude CodeCodex

Run git through plumb's policy-gated git tool — what each tier allows, why a subcommand was refused, and which narrower plumb tool to reach for instead of a destructive git command. Use for any git work in a plumb workspace.

not rated 4 changed 4d ago A 56 tokens original MIT

sp_dev

05

ormastes/simple

Skill Codex

SPipe dev entrypoint: refine a feature/bug/TODO into acceptance criteria, then continue through the SPipe pipeline.

not rated 2 +1 changed 16d ago A 28 tokens

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: