haskell-language-server
Haskell language server with completion, references, type info, and document symbols
Lot de plugins · par Micah Stubbs
Aperçu
haskell-language-server est un lot de plugins pour les outils de code IA publié par Micah Stubbs. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). Nous l'avons vu pour la première fois le 2026-11-01 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-11-05.
Ce qu'il demande
- S'installe comme lot de plugins
Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En plugin Claude Code
Construit à partir de ce que déclare Community GitHub marketplaces.
/plugin marketplace add piebald-ai/claude-code-lsps
/plugin install haskell-language-server@claude-code-lspsOù il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Place de marché communautaire piebald-ai/claude-code-lsps (Ouvrir la source sur GitHub) | Référencé | 0.1.0 | Forks (GitHub): 61 Étoiles (GitHub): 522 |
Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Listé dans une place de marché communautaire
| Place de marché | Dépôt | Étoiles (GitHub) |
|---|---|---|
| claude-code-lsps | piebald-ai/claude-code-lsps | 522 |
Quelles places de marché nous lisons et comment nous les vérifions
Ce que contient le lot
Tel que publié sur Community GitHub marketplaces.
Serveurs LSP: 1
haskell
Ce qui a changé
- Est devenu un produit que nous suivons
- Community GitHub marketplaces: apparu
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
Haskell Language Server integration for Claude Code
-
Gleam language server integration (bundled with the Gleam compiler)
-
OCaml language server (ocaml-lsp-server)
-
Elixir language server (ElixirLS) with definitions, references, hover, and symbols
-
TypeScript/JavaScript language server for enhanced code intelligence
-
TypeScript and JavaScript language server integration (using typescript-language-server)
-
Clojure/ClojureScript language server for code intelligence
-
Intelligent PHP completion and refactoring language server
-
Scala language server with rich IDE features
-
Dart language server for Claude Code, providing code intelligence for Dart and Flutter projects
Plugins similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur Claude Code: claude-plugins-community (5)
-
Clojure/ClojureScript language server for code intelligence
-
Elixir language server (ElixirLS) for Claude Code, providing code intelligence and diagnostics.
-
LSP-backed code intelligence for Claude Code via MCP and native LSP. Navigate definitions, references, call hierarchies, type hierarchies, hover documentation, symbols, and…
-
Real-time Kotlin code intelligence for Claude via kotlin-language-server. Gives Claude instant diagnostics, go-to-definition, find-references, and type information for .kt and…
-
Julia language server for code intelligence via LanguageServer.jl
Référencé sur Claude Code: claude-plugins-official (5)
Référencé sur Claude: knowledge-work-plugins (5)
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
MCP server for terminal commands, file operations, and process management
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
Référencé sur Codex: openai-curated (openai/plugins) (5)
-
Qodo setup, code intelligence, and review workflows.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Inspect recent issues and events in Sentry from Codex.
Référencé sur Community GitHub marketplaces (5)
-
Haskell Language Server integration for Claude Code
-
Gleam language server integration (bundled with the Gleam compiler)
-
OCaml language server (ocaml-lsp-server)
-
Elixir language server (ElixirLS) with definitions, references, hover, and symbols
-
TypeScript and JavaScript language server integration (using typescript-language-server)
Référencé sur Copilot CLI: github/awesome-copilot (5)
-
C# language server (LSP) integration for coding agents and high-level .NET development skills.
-
Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…
-
Generic cross-repo command center canvas for GitHub Copilot with onboarding, focus planning, repo health, work signals, and session cleanup.
-
Reconstruct your dev context (branch, commits, uncommitted work, PR clues) and trigger a resume prompt to continue quickly.
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
Référencé sur Copilot CLI: github/copilot-plugins (5)
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
-
code-apps-preview
Build and deploy Power Apps code apps using React, Vite, and Power Platform connectors.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
Référencé sur Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Manage repos, issues, pull requests, and Actions.
Référencé sur Docker MCP Catalog (5)
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
A model context protocol server to work with JetBrains IDEs: IntelliJ, PyCharm, WebStorm, etc. Also, works with Android Studio.
-
Ref powerful search tool connets your coding tools with documentation context. It includes an up-to-date index of public documentation and it can ingest your private documentation…
-
Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.
Référencé sur Official MCP Registry (5)
-
simple-lsp-mcp-server io.github.ormastes/simple-lsp-mcp-server
Simple Language LSP-MCP bridge — definition, references, hover, symbols, and diagnostics
-
Universal MCP bridge to LSP servers. One binary, 6 languages, config-driven.
-
agent-lsp io.github.blackwell-systems/agent-lsp
Language servers as 66 code-intelligence tools for AI agents, CI-verified on 32 languages.
-
Lightweight MCP server for LSP code intelligence — symbol lookup, refs, types, diagnostics.
-
codegraph io.github.codegraph-ai/codegraph
Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.
Référencé sur PyPI (MCP servers) (5)
-
MCP knowledge layer for MiniStack — plug into any IDE AI (Claude Desktop, Cursor, Continue, Devin, Cline).
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.
-
CLI-first semantic code search with MCP integration and interactive D3.js visualization for exploring code relationships
-
MCP server for Sublime Text 4. Lets AI coding agents read and control a running ST instance.
Référencé sur npm registry (MCP servers) (5)
-
codegraph io.github.codegraph-ai/codegraph
Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.
-
Local, branch-aware code search & relation graph. SQLite FTS5 + tree-sitter symbols + source-graph edges, exposed as an MCP server and CLI. No chat LLM required.
-
Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.
-
sverklo io.github.sverklo/sverklo
Local-first MCP code intelligence: 37 tools — hybrid search, blast-radius, diff review, memory.
-
The AIReady AST-aware Model Context Protocol (MCP) Server. Explore and navigate multi-project TypeScript/JavaScript codebases with high precision using AST and type information.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
Vous voulez cette marque pour votre plugin dans notre catalogue ?
Prouvez que vous le maintenez avec un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS, et vous pourrez afficher cette marque sur la fiche, avec des bannières à jour pour votre site et votre README. Comment se passe la vérification
Vous recevez aussi des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Community GitHub marketplaces. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.