Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
It is argued that semantic RAG is fundamentally unsuited for rule enforcement, and that Euclid-MCP can serve as a stable, shared reasoning substrate for both RAG-based assistants and agentic systems.