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

Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

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

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

Коротко

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

Что просит

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

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

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

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

Пакет

PyPI prolog-reasoner (prolog-reasoner на PyPI)

  • Загрузки PyPI за неделю: 17 (2026-10-13)
  • Загрузки PyPI за месяц: 76 (2026-10-13)
  • Последняя версия на PyPI: 0.2.2, опубликована 2026-05-01

В OSV нет известных уязвимостей для 0.2.1 (проверено 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 prolog-reasoner -- uvx prolog-reasoner
Codex~/.codex/config.toml
[mcp_servers.prolog-reasoner]
command = "uvx"
args = ["prolog-reasoner"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "prolog-reasoner": {
      "command": "uvx",
      "args": [
        "prolog-reasoner"
      ]
    }
  }
}

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

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

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

Что менялось

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

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

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

  • Euclid-MCP

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

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

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

  • Cortex MCP — Multi-Level Reasoning Server

    Multi-level reasoning MCP server with configurable depth levels

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

  • slac-mcp io.github.DennisPrediger/slac-mcp

    MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

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

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

  • mcp-sparql io.github.daedalus/mcp-sparql

    MCP server exposing SPARQL query functionalities for LLMs

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

  • CEDRUS

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

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

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

  • onomeo

    Ask free LLMs (DeepSeek, GLM, Gemini, Mistral) for a second opinion from any MCP client.

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

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

  • langchain

    MCP server for langchain documentation, generated by doc2mcp.

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

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

  • mifactory-logic-verifier io.github.mifactory-bot/mifactory-logic-verifier

    Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.

    от mifactory-bot · MCP-сервер

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

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

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

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

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

  • LoreConvo

    Local-first persistent session memory for Claude Code and other agents. SQLite + FTS5, no cloud.

    от labyrinth-analytics · MCP-сервер

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

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

  • llm-gateway

    Multi-LLM orchestration MCP server. Delegate tasks to Claude Code, Codex, and Gemini CLIs with session management, retry logic, async job orchestration, and token optimization.

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

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

  • amd-skills

    AMD's verified Agent Skills in one plugin: route image/audio through local AI on Ryzen AI, serve LLMs on AMD Instinct GPUs with vLLM, optimize inference throughput with Hyperloom…

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

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

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

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

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

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

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

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

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

  • Superpowers

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

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

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

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

  • dossier ai.imboard/dossier

    MCP server for dossier automation standard - enables LLMs to discover, verify, and execute dossiers

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

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

  • CP Memory

    Local-first, governable long-term memory for AI coding agents

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

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

  • local-llm-worker io.github.JoblessJoe/local-llm-worker

    Local LLM does Claude's bulk work: reads logs and files, researches the web, writes test-gated code.

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

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

  • inquisitor io.github.1111111111111111111114oLvT2/inquisitor

    Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.

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

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

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

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

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

  • cpp-language-server

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

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

  • model-apps

    Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…

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

  • Continual Learning

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

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

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

  • Orchestrate

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

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

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

  • CLI for Agents

    Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.

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

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

  • Advisor

    Consult a stronger model before major decisions, when stuck, and before declaring done.

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

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

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

  • Prometheus MCP Server

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

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

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

  • Kagi Search

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

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

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

  • Plugged.in Proxy

    A unified MCP proxy that aggregates multiple MCP servers into one interface, enabling seamless tool discovery and management across all your AI interactions. Manage all your MCP…

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

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

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

  • Euclid-MCP

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

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

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

  • Cortex MCP — Multi-Level Reasoning Server

    Multi-level reasoning MCP server with configurable depth levels

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

  • slac-mcp io.github.DennisPrediger/slac-mcp

    MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

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

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

  • mcp-sparql io.github.daedalus/mcp-sparql

    MCP server exposing SPARQL query functionalities for LLMs

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

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

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

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

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

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

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

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