Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Servidor MCP · de meob
Resumen
Euclid-MCP es un servidor MCP publicado por meob. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-14.
Qué pide
- Se ejecuta en tu equipo
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Paquete
PyPI euclid-mcp (euclid-mcp en PyPI)
- Descargas de PyPI por semana: 108 (2026-10-13)
- Descargas de PyPI por mes: 369 (2026-10-13)
- Última versión en PyPI: 0.5.0, publicada el 2026-09-19
Sin vulnerabilidades conocidas en OSV para 0.4.5 (comprobado el 2026-10-14)
Los datos de PyPI proceden de pypi.org y las descargas de PyPI de pypistats.org. Cada cifra es del propio registro y nunca se suma a otra. Un registro que no publica una cifra no muestra ninguna: sin cifra no es cero. Los registros de vulnerabilidades proceden de OSV.dev (CC BY 4.0) y solo se refieren a la versión declarada; un listado sin versión declarada no recibe respuesta. No analizamos código.
Funciona con
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP local: paquete PyPI
Generado a partir de lo que declara Official MCP Registry.
claude mcp add --transport stdio euclid-mcp -- uvx euclid-mcp[mcp_servers.euclid-mcp]
command = "uvx"
args = ["euclid-mcp"]{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 0.4.5 | Descargas por mes (PyPI): 369 Descargas por semana (PyPI): 108 Forks (GitHub): 0 Estrellas (GitHub): 7 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
Nada ha cambiado en este plugin desde que lo seguimos.
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
Cortex MCP — Multi-Level Reasoning Server
Multi-level reasoning MCP server with configurable depth levels
-
Reasoning scaffolding that supercharges your small AI: an argument-mapping MCP server
-
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
-
SWI-Prolog as a logic calculator for LLMs
-
Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.
-
logic-server ai.nocturnus/logic-server
Agent reasoning, memory, and token-optimized context for AI applications.
-
cruxible-core io.github.cruxible-ai/cruxible-core
Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.
-
An MCP server that provides a local, persistent, self-maintaining knowledge base for AI agents
-
Search, reuse, verify AI reasoning. Task marketplace with leaderboard. Zero-barrier, no auth.
-
A fact store for AI agents, on Postgres: registered attributes, every write citing its evidence.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
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…
-
eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp
Eu Ai Act Compliance MCP Server by MEOK AI Labs
-
engram io.github.tstockham96/engram
Intelligent agent memory with automatic extraction, consolidation, and bi-temporal recall.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
Publicado en 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.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
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…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
Publicado en Claude: knowledge-work-plugins (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…
-
MCP server for terminal commands, file operations, and process management
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Publicado en 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.
-
Deterministic batch tools so LLM agents stop guessing dates and math.
-
Hosted MCP server and Agent Skills for specs, engineering threads, and project memory.
-
Post a project brief & publish cases on GPTaria from Claude Code, Cursor or Windsurf.
-
Git-native content governance for AI agents — 27 deterministic MCP tools over stdio and HTTP.
Publicado en 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…
-
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…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
Publicado en 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.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
Publicado en Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
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…
Publicado en Docker MCP Catalog (5)
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
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.
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
MCP server providing Prometheus metrics access and PromQL query execution for AI assistants
Publicado en Official MCP Registry (5)
-
Cortex MCP — Multi-Level Reasoning Server
Multi-level reasoning MCP server with configurable depth levels
-
Reasoning scaffolding that supercharges your small AI: an argument-mapping MCP server
-
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
-
SWI-Prolog as a logic calculator for LLMs
-
Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.