MCP server · source category: Code Execution
rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy o…
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Record
- Type
- MCP server
- Category
- Developer Tools
- Authentication
- No authentication
- Pricing
- Free
- Documentation
- https://github.com/rikarazome/prolog-reasoner
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Developer Tools
- 20000419/fauxnix bash for AI agents on Windows via deterministic bash→PowerShell translation — no WSL, VM, or bash toolchain. MCP bash tool with…
- 2ools/mcp-server Turn what your assistant just built into a durable, versioned project. One free authless tool (createpublicpreview) re…
- 3KniGHtcZ/codebeamer-mcp Codebeamer ALM integration for managing work items, trackers, and projects. Provides 17 tools for reading and writing item…
- a-25/ios-mcp-code-quality-server iOS code quality analysis and test automation server. Provides comprehensive Xcode test execution, SwiftLint integration, and de…
- AaronVick/ECHORIFTMCP MCP server for EchoRift infrastructure primitives (BlockWire, CronSynth, Switchboard, Arbiter). Makes EchoRift's agent infrastructu…
- Adityaaery20/media-mcp Local image and video processing MCP server with 13 tools for resize, convert, compress, crop, thumbnail, metadata extract…
Browse all Developer Tools MCP servers.