Ext Ops Panel
Открыть панель

io.github.mrfentmen/reasonml-mcp

ReasonML MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonML code.

MCP-сервер · от mrfentmen

Подключить Сравнить Это мой

Коротко

io.github.mrfentmen/reasonml-mcp: MCP-сервер, издатель mrfentmen. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-11-08 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-11-08.

Что просит

  • Работает на вашем компьютере

Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.

Что объявляет, просит и запускает, полностью

Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.

Работает с

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
Установить в CursorУстановить в VS Code

Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.

По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.

Подключить

Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.

Как локальный MCP-сервер: пакет npm

Собрано из того, что объявляет Official MCP Registry.

Claude CodeТерминал
claude mcp add --transport stdio reasonml-mcp -- npx -y @mrfentmen/reasonml-mcp
Codex~/.codex/config.toml
[mcp_servers.reasonml-mcp]
command = "npx"
args = ["-y", "@mrfentmen/reasonml-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "reasonml-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/reasonml-mcp"
      ]
    }
  }
}

Где опубликован

ВитринаСтатусВерсияЧислаПроверенВпервые замечен
Official MCP Registry (Открыть запись реестра) Опубликован 1.0.0 Форки (GitHub): 0
Звёзды (GitHub): 0		 Не помечен

Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.

Что менялось

  1. Стал продуктом, за которым мы следим
  2. Official MCP Registry: появился

Похожие плагины

Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.

  • reason-mcp io.github.mrfentmen/reason-mcp

    Reason MCP: 20 real tools to read, check, lint, scaffold, build and run Reason code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • reasonligo-mcp io.github.mrfentmen/reasonligo-mcp

    ReasonLIGO MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonLIGO code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • rescript-mcp io.github.mrfentmen/rescript-mcp

    ReScript MCP: 20 real tools to read, check, lint, scaffold, build and run ReScript code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • standard-ml-mcp io.github.mrfentmen/standard-ml-mcp

    Standard ML MCP: 20 real tools to read, check, lint, scaffold, build and run Standard ML code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • ocaml-mcp io.github.mrfentmen/ocaml-mcp

    OCaml MCP: 20 real tools to read, check, lint, scaffold, build and run OCaml code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • m-mcp io.github.mrfentmen/m-mcp

    M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • rascal-mcp io.github.mrfentmen/rascal-mcp

    Rascal MCP: 20 real tools to read, check, lint, scaffold, build and run Rascal code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • why3-mcp io.github.mrfentmen/why3-mcp

    Why3 MCP: 20 real tools to read, check, lint, scaffold, build and run Why3 code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • moocode-mcp io.github.mrfentmen/moocode-mcp

    Moocode MCP: 20 real tools to read, check, lint, scaffold, build and run Moocode code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • dune-mcp io.github.mrfentmen/dune-mcp

    Dune MCP: 20 real tools to read, check, lint, scaffold, build and run Dune code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

Похожие плагины по витринам

Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?

Есть на витрине Claude Code: claude-plugins-community (5)

  • mcpg

    Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…

    от yn01 · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

  • memex io.github.STiFLeR7/memex

    Temporal engineering context for agents via MCP.

    от STiFLeR7 · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-community, PyPI (MCP servers) · Решает почти ту же задачу

  • socraticode io.github.giancarloerra/socraticode

    MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.

    от giancarloerra · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Решает почти ту же задачу

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    от SAP · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    от cap-js · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Claude Code: claude-plugins-official (5)

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    от SAP · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    от cap-js · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • mcp-server-dev

    Skills for designing and building MCP servers that work seamlessly with Claude. Guides you through deployment models (remote HTTP, MCPB, local), tool design patterns, auth, and…

    от Anthropic · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • Setup MCP Agent Analytics

    Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.

    от pendo-io · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • Terraform

    Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise

    от hashicorp · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog · Решает почти ту же задачу

Есть на витрине Claude: knowledge-work-plugins (5)

  • gk-cli com.gitkraken/gk-cli

    The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.

    от gitkraken.com · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Решает почти ту же задачу

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    от wonderwhy-er · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces, npm registry (MCP servers) · Решает почти ту же задачу

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    от figma · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • Qodo

    Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.

    от qodo-ai · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Решает почти ту же задачу

  • sanity

    Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual…

    от sanity-io · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Решает почти ту же задачу

Есть на витрине Codex: openai-curated (openai/plugins) (5)

  • Qodo

    Qodo setup, code intelligence, and review workflows.

    от qodo-ai · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • GitHub

    Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.

    от OpenAI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • CodeRabbit

    AI-powered code review in Codex, powered by CodeRabbit.

    от CodeRabbit AI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • Superpowers

    An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.

    от Jesse Vincent · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • crowdstrike-falcon-foundry

    CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…

    от CrowdStrike · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Community GitHub marketplaces (5)

  • mcp-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    от mcp-use · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • mcp-apps-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    от mcp-use · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • jCodeMunch MCP

    Gives AI agents the function they asked for, not the file. Commercial use needs a license.

    от jgravelle · MCP-сервер

    Опубликован: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · Решает почти ту же задачу

  • Martin Loop

    One system around coding agents to run, verify, recover, and hand off software work.

    от Keesan12 · MCP-сервер

    Опубликован: Official MCP Registry, npm registry (MCP servers), Community GitHub marketplaces · Решает почти ту же задачу

  • agents-mcp

    Build agents, MCP servers and tool-using workflows.

    от SkillMD · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

Есть на витрине Copilot CLI: github/awesome-copilot (5)

  • typescript-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • go-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • java-mcp-development

    Build Model Context Protocol (MCP) servers in Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • rust-mcp-development

    Build high-performance Model Context Protocol servers in Rust using the official rmcp SDK with async/await, procedural macros, and type-safe implementations.

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

Есть на витрине Copilot CLI: github/copilot-plugins (5)

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • cpp-language-server

    Navigate and interact with your C++ code using the Microsoft C++ Language Server.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • canvas-apps

    Build Power Apps Canvas Apps using the Canvas Authoring MCP server.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

Есть на витрине Cursor: cursor/plugins (5)

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    от microsoft · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog, Community GitHub marketplaces · Решает почти ту же задачу

  • pstack

    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.

    от Lauren Tan · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Origin Apps

    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…

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Cursor Team Kit

    Internal team workflows for CI, code review, shipping, local automation, and verification.

    от Eric Zakariasson · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

Есть на витрине Docker MCP Catalog (5)

  • npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp

    Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.

    от Nekzus · MCP-сервер

    Опубликован: Official MCP Registry, Docker MCP Catalog, npm registry (MCP servers) · Решает почти ту же задачу

  • Git (Reference)

    Git repository interaction and automation.

    от modelcontextprotocol · MCP-сервер

    Опубликован: Docker MCP Catalog, PyPI (MCP servers) · Решает почти ту же задачу

  • maven-tools-mcp io.github.arvindand/maven-tools-mcp

    JVM dependency intelligence for AI assistants via Maven Central

    от arvindand · MCP-сервер

    Опубликован: Official MCP Registry, Docker MCP Catalog · Решает почти ту же задачу

  • E2B

    Giving Claude ability to run code with E2B via MCP (Model Context Protocol).

    от e2b-dev · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • buildkite-mcp-server io.github.buildkite/buildkite-mcp-server

    MCP server exposing Buildkite API data (pipelines, builds, jobs, tests) to AI tooling and editors.

    от buildkite · MCP-сервер

    Опубликован: Official MCP Registry, Docker MCP Catalog · Решает почти ту же задачу

Есть на витрине Official MCP Registry (5)

  • reason-mcp io.github.mrfentmen/reason-mcp

    Reason MCP: 20 real tools to read, check, lint, scaffold, build and run Reason code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • reasonligo-mcp io.github.mrfentmen/reasonligo-mcp

    ReasonLIGO MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonLIGO code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • rescript-mcp io.github.mrfentmen/rescript-mcp

    ReScript MCP: 20 real tools to read, check, lint, scaffold, build and run ReScript code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • standard-ml-mcp io.github.mrfentmen/standard-ml-mcp

    Standard ML MCP: 20 real tools to read, check, lint, scaffold, build and run Standard ML code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

  • ocaml-mcp io.github.mrfentmen/ocaml-mcp

    OCaml MCP: 20 real tools to read, check, lint, scaffold, build and run OCaml code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает похожую задачу

Есть на витрине PyPI (MCP servers) (5)

  • nagato-mcp-tools

    Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.

    от Chromoforge · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • repoctx-mcp

    Local repository intelligence for coding agents

    от gald33 · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • jCodeMunch MCP

    Gives AI agents the function they asked for, not the file. Commercial use needs a license.

    от jgravelle · MCP-сервер

    Опубликован: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · Решает почти ту же задачу

  • lineai-mcp-server io.github.lineai-intelligence/lineai-mcp-server

    An MCP Server to utilize Lineai's rich software dependency data in your AI programming assistant.

    от lineai-intelligence · MCP-сервер

    Опубликован: Official MCP Registry, PyPI (MCP servers) · Решает почти ту же задачу

  • code-index-mcp

    Code indexing and analysis tools for LLMs using MCP

    от johnhuang316 · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

Есть на витрине npm registry (MCP servers) (5)

  • @satori-code/mcp

    Local-first code intelligence for AI coding agents: natural-language + lexical repository search, exact source/symbol navigation, relationships, freshness, and indexing.

    от @satori-code · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

  • rigour io.github.rigour-labs/rigour

    Lets coding agents review their change, find an existing helper, and recall the team's lessons.

    от rigour-labs · MCP-сервер

    Опубликован: Official MCP Registry, npm registry (MCP servers) · Решает почти ту же задачу

  • Signalint

    Local stdio MCP server for cached, loop-aware JS/TS diagnostics (Oxlint, tsc, Biome, ESLint).

    от TranQui004 · MCP-сервер

    Опубликован: Official MCP Registry, npm registry (MCP servers) · Решает почти ту же задачу

  • @devflow-one/mcp

    stdio MCP server exposing DevFlow gateway repo actions as tools for AI agents

    от @devflow-one · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

  • @vornrun/mcp

    Vorn MCP server — task management, git, and workflow tools for AI coding agents

    от @vornrun · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.

Хотите такой знак у своего плагина в нашем каталоге?

Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение

Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.

Добавить в свои проекты Что умеет панель

Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.

Откуда данные: как устроен каталог