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

io.github.sandraschi/leanforge-mcp

MCP server for AI-driven formal proof search in Lean 4

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

Сравнить Это мой

Коротко

io.github.sandraschi/leanforge-mcp: MCP-сервер, издатель sandraschi. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Последнее изменение мы зафиксировали 2026-10-12. Данные нашего прохода по витринам на 2026-10-14.

Что просит

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

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

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

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

Работает с

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI

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

Подключить

Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.

Посмотреть карточку на Official MCP Registry

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

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

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

Что менялось

С тех пор как мы следим за плагином, ничего не менялось.

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

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

  • prover com.axiomatic-ai/prover

    Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

    от axiomatic-ai.com · MCP-сервер

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

  • proof io.github.ToremLabs/proof

    Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

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

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

  • 4da-mcp-server io.github.4DA-Systems/4da-mcp-server

    Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.

    от 4DA-Systems · MCP-сервер

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

  • mcp-server io.github.cachly-dev/mcp-server

    Solve it once. From then on, your AI knows. Experience for coding agents, hosted in the EU.

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

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

  • Execute coq-proof-assistant-mcp

    Premium agentic endpoint for coq-proof-assistant-mcp.

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

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

  • McpHub

    MCP bridge that folds multiple MCP servers' capabilities into a few fixed tools for AI tools.

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

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

  • mcp io.github.DojoGenesis/mcp

    Practice library for coding agents: skill search/invoke, seed patches, scout, reflect, ADR writer

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

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

  • cpfs-mcp io.github.JonahAlexanian/cpfs-mcp

    CPFS Runner as an MCP server — deterministic AI coding guardrails via a compiled WASM core.

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

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

  • Euclid-MCP

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

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

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

  • tenkai-mcp io.github.mcfredrick/tenkai-mcp

    Search Tenkai Daily AI news for open-source releases, papers, and tools. Updated daily.

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

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

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

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

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

  • vynn-mcp io.github.beee003/vynn-mcp

    Self-improving AI workflows with backtesting, prompt optimization, and scheduling

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

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

  • eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp

    Eu Ai Act Compliance MCP Server by MEOK AI Labs

    от CSOAI-ORG · MCP-сервер

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

  • conduitai

    Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.

    от conduit-technologies · Пакет плагинов

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

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

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

  • firebase-mcp io.github.firebase/firebase-mcp

    Gives AI development tools Firebase-specific capabilities and expertise.

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

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

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

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

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

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

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

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

  • AI-Firstify

    AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp

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

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

  • datarobot-agent-skills

    DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…

    от datarobot-oss · Пакет плагинов

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

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

  • NVIDIA

    Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…

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

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

  • OpenAI Developers

    Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.

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

  • Superpowers

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

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

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

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

  • 4da-mcp-server io.github.4DA-Systems/4da-mcp-server

    Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.

    от 4DA-Systems · MCP-сервер

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

  • ai-architect-mcp-spec io.github.cdeust/ai-architect-mcp-spec

    PRD verification and host-driven generation with multi-judge consensus across 17 MCP tools.

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

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

  • legalithm-mcp-server io.github.PedramMadani/legalithm-mcp-server

    EU AI Act risk classification, obligations and Article 50 disclosures. Offline, no API key.

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

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

  • forkflux-mcp io.github.forkflux/forkflux-mcp

    Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams

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

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

  • GPTaria MCP

    Post a project brief & publish cases on GPTaria from Claude Code, Cursor or Windsurf.

    от gptaria-mcp · MCP-сервер

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

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

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

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

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

  • ai-team-orchestration

    Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.

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

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

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

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

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

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

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

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

  • Cursor SDK

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

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

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

  • Ralph Loop

    Iterative self-referential AI loops using the Ralph Wiggum technique.

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

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

  • Tailscale

    Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…

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

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

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

  • OpenMesh

    Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.

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

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

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

  • Arm MCP Server

    Official Arm MCP server for code migration, optimization, and Arm architecture guidance

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

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

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

  • Kagi Search

    The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

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

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

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

  • prover com.axiomatic-ai/prover

    Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

    от axiomatic-ai.com · MCP-сервер

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

  • proof io.github.ToremLabs/proof

    Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

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

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

  • 4da-mcp-server io.github.4DA-Systems/4da-mcp-server

    Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.

    от 4DA-Systems · MCP-сервер

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

  • mcp-server io.github.cachly-dev/mcp-server

    Solve it once. From then on, your AI knows. Experience for coding agents, hosted in the EU.

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

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

  • Execute coq-proof-assistant-mcp

    Premium agentic endpoint for coq-proof-assistant-mcp.

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

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

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

Это ваш плагин?

Добавьте плагин в свои проекты и докажите, что поддерживаете его: файлом в репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.

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

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

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