E
Euclid-MCP
MCP server bridging LLMs with Prolog for deterministic logical reasoning
Open SourceFree
About
Euclid-MCP is a Model Context Protocol server that enhances LLM reliability by integrating symbolic reasoning engines. It couples neural language models with Prolog-based logical inference to address unreliability in multi-step reasoning tasks. Designed for researchers and developers building tool-augmented agents that require formal logical verification alongside natural language processing.
Details
| Capabilities | |
| Transport | stdio |
| Compatible Clients | claude-code |
Tags
mcptool-useopen-sourceautonomousframeworkpython
Quick Info
- Organization
- Research Community
- Pricing
- open-source
- Free Tier
- Yes
- Updated
- Jul 24, 2026
Also in MCP Servers
B
Browser MCP Agent
MCP agent that controls web browsers for automated browsing and data extraction
OSSFree
Shubham Saboo
127.1Ktoday90
C
Context7
Up-to-date library documentation injected directly into your AI coding context
OSSFree
Upstash
59.7K35.0K/wtoday124
F
Filesystem MCP
Secure local filesystem access — read, write, search, and manage files via MCP
OSSFree
Anthropic
88.8K19.0K/w2w ago426