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

io.github.mrfentmen/why3-mcp

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

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

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

Коротко

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

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

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

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

Что менялось

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

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

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

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

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

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

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

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

  • modula-3-mcp io.github.mrfentmen/modula-3-mcp

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

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

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

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

  • nagato-mcp-tools

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

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

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

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

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

  • nodebench io.github.HomenShum/nodebench

    260 MCP tools across 49 domains. AI Flywheel, quality gates, research, web scraping.

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

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

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

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

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

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

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

  • 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)

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

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

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

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

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

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

  • Qodo

    Qodo setup, code intelligence, and review workflows.

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

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

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

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

  • CodeRabbit

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

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

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

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

  • mcp

    Commands for setup well known MCP server integration if needed and update CLAUDE.md file with requirement to use this MCP server for current project.

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

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

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

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

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

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

  • python-mcp-development

    Build Model Context Protocol (MCP) servers in Python with the official MCP Python SDK v2 (MCPServer). Includes a skill that generates a server project and an expert agent for…

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

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

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

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

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

  • 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 Team Kit

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

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

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

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

  • Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp

    [DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.

    от dynatrace-oss · MCP-сервер

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

  • Context7

    Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.

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

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

  • ast-grep

    ast-grep is a fast and polyglot tool for code structural search, lint, rewriting at large scale.

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

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

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

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

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

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

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

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

  • modula-3-mcp io.github.mrfentmen/modula-3-mcp

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

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

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

  • repoctx-mcp

    Local repository intelligence for coding agents

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

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

  • JavaLens

    75 semantic Java analysis tools via Eclipse JDT: navigation, refactoring, code intelligence.

    от pzalutski-pixel · MCP-сервер

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

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

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

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

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

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

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

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

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

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

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