Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
Large Language Models (LLMs) excel at natural language understanding and generation but remain unreliable for multi-step logical reasoning, especially in safety-critical or compliance-sensitive domains. Recent neuro-symbolic approaches address this gap by coupling neural models with external symbolic engines, yet most integrations are bespoke and lack a standardized interface for tool-augmented agents. This paper presents Euclid-MCP, an open-source MCP server that provides deterministic logical reasoning via SWI-Prolog. Euclid-MCP introduces Euclid-IR, an engine-agnostic intermediate represent
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 59%Ontology Reasoning AI: OWL Logic Meets Large Language Models - AI CERTs →
- FuzzySimilar title/name (fuzzy) · 84%triton-inference-server/server →
“Fuzzy title match (0.92): “Euclid-MCP: A Model Context Protocol Server for Deterministi” ≈ “triton-inference-server/server””
- FuzzySimilar title/name (fuzzy) · 59%rocketride-org/rocketride-server →
“Fuzzy title match (0.73): “Euclid-MCP: A Model Context Protocol Server for Deterministi” ≈ “rocketride-org/rocketride-server””
- LinkedLinked via arxiv author · 85%Bartolomeo Bogliolo →
“Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog”