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

Unicode Logic Kit

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

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

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

Коротко

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

Что просит

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

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

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

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

Пакет

PyPI unicode-logic-kit (unicode-logic-kit на PyPI)

  • Загрузки PyPI за неделю: 325 (2026-10-13)
  • Загрузки PyPI за месяц: 0 (2026-10-13)
  • Последняя версия на PyPI: 0.33.0, опубликована 2026-10-11

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

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

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

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

Что менялось

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

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

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

  • Euclid-MCP

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

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

  • Prolog Reasoner

    SWI-Prolog as a logic calculator for LLMs

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

  • DocQA MCP

    AI document verification: catch hallucinations, arithmetic errors, and field mismatches.

    от api.agentsconsultants.com · MCP-сервер

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

  • Execute coq-proof-assistant-mcp

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

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

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

  • .prompts

    .prompts, the home to all your AI prompts, everywhere you need them.

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

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

  • PurRAssist

    Recovers intent from imperfect AI output: JSON, tool calls, names, paths and Markdown edits.

    от Blackcat-Informatics · MCP-сервер

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

  • sagemath-mcp-server io.github.justice8096/sagemath-mcp-server

    MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.

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

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

  • calculator-mcp-server io.github.cyanheads/calculator-mcp-server

    Evaluate, simplify, and differentiate mathematical expressions.

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

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

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

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

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

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

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

  • strale

    Strale agent skills with remote MCP connector for Strale platform integration.

    от strale-io · Пакет плагинов

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

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

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

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

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

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

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

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

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

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

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

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

  • servicenow-sdk

    Create, edit, and deploy ServiceNow applications with the Fluent SDK effortlessly through Claude AI.

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

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

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

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

  • MagicPath

    Use MagicPath to find, inspect, install, create, and edit UI components from Codex.

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

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

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

  • Roast My Design System

    Audit your Design System and serve your Agent the rules that keep AI-written UI on-system.

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

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

  • Roamer MCP

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

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

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

  • BLEA

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

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

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

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

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

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

  • Cursor SDK

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

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

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

  • Orchestrate

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

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

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

  • Kagi Search

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

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

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

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

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

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

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

  • Prolog Reasoner

    SWI-Prolog as a logic calculator for LLMs

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

  • DocQA MCP

    AI document verification: catch hallucinations, arithmetic errors, and field mismatches.

    от api.agentsconsultants.com · MCP-сервер

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

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

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

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

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

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

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