Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Servidor MCP · de fvossel
Resumo
Unicode Logic Kit é um servidor MCP publicado por fvossel. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-14.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Pacote
PyPI unicode-logic-kit (unicode-logic-kit no PyPI)
- Downloads do PyPI por semana: 325 (2026-10-13)
- Downloads do PyPI por mês: 0 (2026-10-13)
- Última versão no PyPI: 0.33.0, publicada em 2026-10-11
Nenhuma vulnerabilidade conhecida no OSV para 0.33.0 (verificado em 2026-10-13)
Os dados do PyPI vêm do pypi.org e os downloads do PyPI do pypistats.org. Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote PyPI
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio unicode-logic-kit -- uvx --python ">=3.10" --with "unicode-logic-kit[mcp]==0.33.0" unicode-logic-kit mcp[mcp_servers.unicode-logic-kit]
command = "uvx"
args = ["--python", ">=3.10", "--with", "unicode-logic-kit[mcp]==0.33.0", "unicode-logic-kit", "mcp"]{
"mcpServers": {
"unicode-logic-kit": {
"command": "uvx",
"args": [
"--python",
">=3.10",
"--with",
"unicode-logic-kit[mcp]==0.33.0",
"unicode-logic-kit",
"mcp"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.33.0 | Downloads por mês (PyPI): 0 Downloads por semana (PyPI): 325 Forks (GitHub): 0 Estrelas (GitHub): 0 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
mifactory-logic-verifier io.github.mifactory-bot/mifactory-logic-verifier
Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.
-
SWI-Prolog as a logic calculator for LLMs
-
logic-server ai.nocturnus/logic-server
Agent reasoning, memory, and token-optimized context for AI applications.
-
AI document verification: catch hallucinations, arithmetic errors, and field mismatches.
-
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
-
.prompts, the home to all your AI prompts, everywhere you need them.
-
Recovers intent from imperfect AI output: JSON, tool calls, names, paths and Markdown edits.
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Strale agent skills with remote MCP connector for Strale platform integration.
-
MCP server for terminal commands, file operations, and process management
-
Local-first persistent session memory for Claude Code and other agents. SQLite + FTS5, no cloud.
Listado em 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.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
MCP server for terminal commands, file operations, and process management
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
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…
Listado em Claude: knowledge-work-plugins (5)
-
MCP server for terminal commands, file operations, and process management
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
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…
-
Create, edit, and deploy ServiceNow applications with the Fluent SDK effortlessly through Claude AI.
Listado em Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Use MagicPath to find, inspect, install, create, and edit UI components from Codex.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
Listado em Community GitHub marketplaces (5)
-
Audit your Design System and serve your Agent the rules that keep AI-written UI on-system.
-
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.
-
Post a project brief & publish cases on GPTaria from Claude Code, Cursor or Windsurf.
-
Hosted MCP server and Agent Skills for specs, engineering threads, and project memory.
-
inquisitor io.github.1111111111111111111114oLvT2/inquisitor
Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
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…
-
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…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
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…
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
Listado em Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
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…
Listado em Docker MCP Catalog (5)
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
MCP server for terminal commands, file operations, and process management
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
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…
Listado em Official MCP Registry (5)
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
mifactory-logic-verifier io.github.mifactory-bot/mifactory-logic-verifier
Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.
-
SWI-Prolog as a logic calculator for LLMs
-
logic-server ai.nocturnus/logic-server
Agent reasoning, memory, and token-optimized context for AI applications.
-
AI document verification: catch hallucinations, arithmetic errors, and field mismatches.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.