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
133.5Ktoday95
C
Chrome DevTools MCP
Official Google MCP server giving coding agents full Chrome DevTools access — 28K+ stars
OSSFree
Google Chrome
49.6Ktoday118
C
Context7
Up-to-date library documentation injected directly into your AI coding context
OSSFree
Upstash
61.1K35.0K/wtoday127