Euclid-MCPKnowledge & MemoryAI & Machine Learningsnegi26AlicenseAqualityCmaintenanceDeterministic logical reasoning server for MCP clients that compiles facts, rules, and queries to Prolog and returns exact answers with proof trees. Updated 2 months ago (2026-07-27 22:04 UTC)4MIT