← Back to MCP servers
rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy
What is Prolog Reasoner MCP Server?
Prolog Reasoner is a developer-tools MCP server that exposes everyday dev operations — docs lookup, scripts, logs, API calls — to AI assistants, letting Claude or Cursor take part in your development workflow.
Also available in 中文.