ocaml-lsp
OCaml language server (ocaml-lsp-server)
Пакет плагинов · от yousleepwhen
Коротко
ocaml-lsp: пакет плагинов для ИИ-инструментов разработки, издатель yousleepwhen. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Мы впервые увидели его 2026-11-01 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-11-05.
Что просит
- Ставится как пакет плагинов
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как плагин Claude Code
Собрано из того, что объявляет Community GitHub marketplaces.
/plugin marketplace add piebald-ai/claude-code-lsps
/plugin install ocaml-lsp@claude-code-lspsГде опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Маркетплейс сообщества piebald-ai/claude-code-lsps (Открыть исходники на GitHub) | Опубликован | 0.1.0 | Форки (GitHub): 61 Звёзды (GitHub): 522 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Есть в одном маркетплейсе сообщества
| Витрина | Репозиторий | Звёзды (GitHub) |
|---|---|---|
| claude-code-lsps | piebald-ai/claude-code-lsps | 522 |
Что входит в пакет
Так опубликовано на витрине Community GitHub marketplaces.
LSP-серверы: 1
ocaml
Что менялось
- Стал продуктом, за которым мы следим
- Community GitHub marketplaces: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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)
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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.
Есть на витрине Claude Code: claude-plugins-official (5)
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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
Есть на витрине 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
Есть на витрине 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.
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.