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

Euclid-MCP

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

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

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

Коротко

Euclid-MCP: MCP-сервер, издатель meob. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-13.

Что просит

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

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

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

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

Пакет

PyPI euclid-mcp (euclid-mcp на PyPI)

  • Загрузки PyPI за неделю: 108 (2026-10-13)
  • Загрузки PyPI за месяц: 369 (2026-10-13)
  • Последняя версия на PyPI: 0.5.0, опубликована 2026-09-19

В OSV нет известных уязвимостей для 0.4.5 (проверено 2026-10-13)

Данные PyPI взяты с pypi.org, загрузки PyPI с pypistats.org. Каждое число принадлежит своему реестру и никогда не складывается с другим. Реестр, который не публикует число, ничего не показывает: нет числа не значит ноль. Записи об уязвимостях взяты из OSV.dev (CC BY 4.0) и относятся только к объявленной версии; листинг без объявленной версии ответа не получает. Код мы не сканируем.

Работает с

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

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

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

Подключить

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

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

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

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

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

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

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

Что менялось

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

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

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

  • Cortex MCP — Multi-Level Reasoning Server

    Multi-level reasoning MCP server with configurable depth levels

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

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

  • CEDRUS

    Reasoning scaffolding that supercharges your small AI: an argument-mapping MCP server

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

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

  • Unicode Logic Kit

    Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

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

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

  • Prolog Reasoner

    SWI-Prolog as a logic calculator for LLMs

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

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

  • Grounded Reasoning

    Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

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

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

  • logic-server ai.nocturnus/logic-server

    Agent reasoning, memory, and token-optimized context for AI applications.

    от nocturnus.ai · MCP-сервер

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

  • cruxible-core io.github.cruxible-ai/cruxible-core

    Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.

    от cruxible-ai · MCP-сервер

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

  • Factsets MCP Server

    An MCP server that provides a local, persistent, self-maintaining knowledge base for AI agents

    от joshua-auchincloss · MCP-сервер

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

  • AI Reasoning Commons

    Search, reuse, verify AI reasoning. Task marketplace with leaderboard. Zero-barrier, no auth.

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

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

  • factstore

    A fact store for AI agents, on Postgres: registered attributes, every write citing its evidence.

    от Victor-EU · MCP-сервер

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

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

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

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

  • open-ontologies

    AI-native ontology engineering with 39 MCP tools backed by an in-memory Oxigraph triple store. Build, validate, query, and govern RDF/OWL ontologies using a…

    от fabio-rovai · Пакет плагинов

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

  • engram io.github.tstockham96/engram

    Intelligent agent memory with automatic extraction, consolidation, and bi-temporal recall.

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

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

  • math-proof

    Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…

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

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

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

  • langfuse

    Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.

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

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

  • pixeltable

    Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.

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

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

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

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

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

  • Cloudflare

    Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.

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

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

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

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

  • gnomon

    Deterministic batch tools so LLM agents stop guessing dates and math.

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

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

  • Roamer MCP

    Hosted MCP server and Agent Skills for specs, engineering threads, and project memory.

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

  • Contentrain

    Git-native content governance for AI agents — 27 deterministic MCP tools over stdio and HTTP.

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

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

Есть на витрине Copilot CLI: github/awesome-copilot (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 · Решает почти ту же задачу

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

  • BLEA

    Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

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

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

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

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

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

  • canvas-apps

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

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

  • workiq

    Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.

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

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

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

  • Ralph Loop

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

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

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

  • Orchestrate

    Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.

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

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

  • Cursor SDK

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

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

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

  • Continual Learning

    Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.

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

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

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

  • Kagi Search

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

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

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

  • Sequential Thinking (Reference)

    Dynamic and reflective problem-solving through thought sequences.

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

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

  • OpenMesh

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

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

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

  • E2B

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

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

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

  • Prometheus MCP Server

    MCP server providing Prometheus metrics access and PromQL query execution for AI assistants

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

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

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

  • Cortex MCP — Multi-Level Reasoning Server

    Multi-level reasoning MCP server with configurable depth levels

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

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

  • CEDRUS

    Reasoning scaffolding that supercharges your small AI: an argument-mapping MCP server

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

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

  • Unicode Logic Kit

    Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

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

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

  • Prolog Reasoner

    SWI-Prolog as a logic calculator for LLMs

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

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

  • Grounded Reasoning

    Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

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

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

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

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

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

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

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

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