vscode-langservers
claudeHTML and CSS language servers from VS Code
LSP
Fast Solidity language server powered by Foundry and solc
Plugin solidity-language-server from marketplace claude-code-lsps in Piebald-AI/claude-code-lsps. Commands read from the repo's manifest — 4 days ago.
solidityHTML 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
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
Claude Code skill for creating and presenting Slidev slidedecks
1 skill
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.