graphql-lsp

HTML and CSS language servers from VS Code

LSP

Ada/SPARK and GPR language server

LSP

Lean 4 language server with per-file Lake project-root detection (lake serve, or lean --server for standalone files), elan toolchain discovery, multi-project and worktree routing, and bounded memory (Lean workers are closed when idle or past a cap). Bundles the lean-goal CLI for proof goals, candidate tactics and Mathlib-wide lemma search.

1 skill · LSP

Python language server using basedpyright with stricter type checking

LSP

Bash language server (bash-lsp) providing IDE features for shell scripts

LSP

BSL Language Server for 1C:Enterprise and OneScript

LSP

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

Editorial diagrams in your brand, as self-contained HTML and SVG. Architecture, flowcharts, sequence, state machines, ER and database schemas, timelines, swimlanes, org charts, Gantt, Wardley maps, user journeys, service blueprints, UML class, lifecycle phase maps, and charts from bar, line and scatter to Sankey, treemap and heatmap, plus many more. Redraws draw.io, Mermaid, Excalidraw and PlantUML files. Exports SVG and PNG.

1 skill · 7 commands

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

Use Alibaba Open Code Review from local Codex.

2 skills