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

io.github.mrfentmen/rocq-prover-mcp

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

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

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

Коротко

io.github.mrfentmen/rocq-prover-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 rocq-prover-mcp -- npx -y @mrfentmen/rocq-prover-mcp
Codex~/.codex/config.toml
[mcp_servers.rocq-prover-mcp]
command = "npx"
args = ["-y", "@mrfentmen/rocq-prover-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "rocq-prover-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/rocq-prover-mcp"
      ]
    }
  }
}

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

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

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

Что менялось

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Rholang MCP: 20 real tools to read, check, lint, scaffold, build and run Rholang 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 · Решает почти ту же задачу

  • lean-4-mcp io.github.mrfentmen/lean-4-mcp

    Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 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 · Решает почти ту же задачу

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

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

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

  • 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 · Решает почти ту же задачу

  • mcp2cli

    Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents

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

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

  • codescene-mcp-server com.codescene/codescene-mcp-server

    An MCP server that provides CodeScene Code Health analysis tools.

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

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

  • 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 · Решает почти ту же задачу

Есть на витрине 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 · Решает почти ту же задачу

  • quarkus-agent

    MCP server for AI coding agents to create, manage, and interact with Quarkus applications. Provides tools for project scaffolding, dev mode lifecycle, extension skills, Dev MCP…

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

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

  • 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 · Решает почти ту же задачу

  • lumen

    Precise local semantic code search via MCP. Indexes your codebase with Go AST parsing, embeds with Ollama or LM Studio, and exposes vector search to Claude through an MCP server…

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

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

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

  • 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 · Решает почти ту же задачу

  • 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) · Решает почти ту же задачу

  • vanta

    The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…

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

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

  • 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 · Решает почти ту же задачу

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

  • Qodo

    Qodo setup, code intelligence, and review workflows.

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

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

  • CodeRabbit

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

    от CodeRabbit 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) · Решает почти ту же задачу

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

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

    Опубликован: 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)

  • 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • isitdone

    Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.

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

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

  • agents-mcp

    Build agents, MCP servers and tool-using workflows.

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

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

  • mcp-builder

    Build high-quality MCP servers for LLM integrations

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

    Опубликован: 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • radius

    Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.

    от radius-project · Пакет плагинов

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

  • copilot-sdk

    Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…

    от 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 · Решает почти ту же задачу

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

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

    Опубликован: 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 · Решает почти ту же задачу

  • azure-devops-copilot-plugin

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

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

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

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

  • 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • Cursor SDK

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

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

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

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    от 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 · Решает почти ту же задачу

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

  • E2B

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

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

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

  • SonarQube MCP Server

    Analyze code quality and security with SonarQube Server or Cloud directly in AI assistants.

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

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

  • Git (Reference)

    Git repository interaction and automation.

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

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

  • Postman MCP Server

    Give your AI agents trusted access to the full Postman platform.

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

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

  • 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) · Решает почти ту же задачу

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    SMT MCP: 20 real tools to read, check, lint, scaffold, build and run SMT 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) · Решает почти ту же задачу

  • 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) · Решает почти ту же задачу

  • Euclid-MCP

    Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

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

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

  • 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) · Решает почти ту же задачу

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

  • 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) · Решает почти ту же задачу

  • codeql-development-mcp-server

    An MCP server supporting LLM requests for CodeQL development tools and resources.

    от advanced-security · MCP-сервер

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

  • Jarroba Tools

    140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.

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

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

  • groundtruth io.github.rm-rf-prod/groundtruth

    Live docs MCP server. 793+ libraries, evidence-verified answers, code audit, snippets, dispatch.

    от rm-rf-prod · MCP-сервер

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

  • @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) · Решает почти ту же задачу

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

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

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

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

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

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

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