ocaml-lsp
OCaml language server (ocaml-lsp-server)
Paquete de plugins · de yousleepwhen
Resumen
ocaml-lsp es un paquete de plugins para herramientas de programación con IA publicado por yousleepwhen. Marketplaces que leemos y que lo publican: 1 (Community GitHub marketplaces). Lo vimos por primera vez el 2026-11-01 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-11-05.
Qué pide
- Se instala como paquete de plugins
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instala solo plugins de desarrolladores en los que confíes. Mostramos lo que publican los marketplaces y no probamos plugins.
Funciona con
- Claude Code
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por ti ni probamos plugins.
Como plugin de Claude Code
Generado a partir de lo que declara Community GitHub marketplaces.
/plugin marketplace add piebald-ai/claude-code-lsps
/plugin install ocaml-lsp@claude-code-lspsDónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Marketplace de la comunidad piebald-ai/claude-code-lsps (Abrir el código en GitHub) | Publicado | 0.1.0 | Forks (GitHub): 61 Estrellas (GitHub): 522 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Figura en un marketplace de la comunidad
| Marketplace | Repositorio | Estrellas (GitHub) |
|---|---|---|
| claude-code-lsps | piebald-ai/claude-code-lsps | 522 |
Qué contiene el paquete
Tal como se publica en Community GitHub marketplaces.
Servidores LSP: 1
ocaml
Qué cambió
- Pasó a ser un producto que seguimos
- Community GitHub marketplaces: apareció
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
Gleam language server integration (bundled with the Gleam compiler)
-
Haskell Language Server integration for Claude Code
-
Haskell language server with completion, references, type info, and document symbols
-
TypeScript/JavaScript language server for enhanced code intelligence
-
Swift and Objective-C language server (sourcekit-lsp, macOS/Xcode)
-
Elixir language server (ElixirLS) for Claude Code, providing code intelligence and diagnostics.
-
Ruby language server (Shopify's ruby-lsp) for code intelligence
-
C/C++ language server (clangd) for code intelligence
-
Swift language server (SourceKit-LSP) for code intelligence
-
TypeScript and JavaScript language server integration (using typescript-language-server)
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
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…
-
Elixir code intelligence via Expert LSP — the official unified Elixir language server.
-
Dual-graph code context engine for Claude Code. Builds a structural call graph and dependency graph of your codebase, then delivers precise file and symbol recommendations before…
-
Terraform language server support for code intelligence and diagnostics.
Publicado en Claude Code: claude-plugins-official (5)
Publicado en Claude: knowledge-work-plugins (5)
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
MCP server for terminal commands, file operations, and process management
-
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Qodo setup, code intelligence, and review workflows.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
Build, run, test, debug, instrument, and implement local macOS apps using Xcode, SwiftUI, AppKit interop, unified logging, and shell-first desktop workflows.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
Publicado en Community GitHub marketplaces (5)
-
Gleam language server integration (bundled with the Gleam compiler)
-
Haskell Language Server integration for Claude Code
-
Haskell language server with completion, references, type info, and document symbols
-
Swift and Objective-C language server (sourcekit-lsp, macOS/Xcode)
-
Ruby language server (Shopify's ruby-lsp) for code intelligence
Publicado en 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…
-
Set up, run and fix MegaLinter on any repository: 100+ linters for 69+ languages, 23+ formats and 21+ tooling formats, from CI or locally.
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
SAPUI5 / OpenUI5 plugin for GitHub CoPilot. Create and validate UI5 projects, access API documentation, run UI5 linter, get development guidelines and best practices for UI5…
Publicado en 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.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Publicado en 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.
-
Scaffold and validate new agent plugins.
Publicado en 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.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
MCP server for terminal commands, file operations, and process management
Publicado en Official MCP Registry (5)
-
agent-lsp io.github.blackwell-systems/agent-lsp
Language servers as 66 code-intelligence tools for AI agents, CI-verified on 32 languages.
-
codegraph io.github.codegraph-ai/codegraph
Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.
-
Universal MCP bridge to LSP servers. One binary, 6 languages, config-driven.
-
Bring Visual Studio-style C# fixes and refactorings to your AI agent with local Roslyn Code Actions.
-
simple-lsp-mcp-server io.github.ormastes/simple-lsp-mcp-server
Simple Language LSP-MCP bridge — definition, references, hover, symbols, and diagnostics
Publicado en PyPI (MCP servers) (5)
-
MCP knowledge layer for MiniStack — plug into any IDE AI (Claude Desktop, Cursor, Continue, Devin, Cline).
-
A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
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.
Publicado en 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.
-
RubyCLI — AI coding agent powered by RubyCLI Cloud. Derived from OpenCLI (MIT).
-
lint io.github.Dave-London/lint
Structured linting output (ESLint, format-check) as typed JSON diagnostics.
-
The bug mediator for AI-built apps: plain-English diagnosis + a ready fix, in your editor.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Quieres esta marca para tu plugin en nuestro catálogo?
Demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS, y podrás mostrar esta marca en la ficha, con banners en vivo para tu web y tu README. Cómo funciona la verificación
Además recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Community GitHub marketplaces. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.