How do I install Prolog Reasoner?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is Prolog Reasoner official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 31 (Limited). The formula is published on the methodology page.

Prolog Reasoner MCP Server | MCPpedia

Name: Prolog Reasoner MCP Server
Author: rikarazome

SWI-Prolog as a logic calculator for LLMs

31Limited

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "rikarazome-prolog-reasoner": {
      "command": "uvx",
      "args": [
        "prolog-reasoner"
      ]
    }
  }
}

83Excellent

Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

Registrychrisryugj2.5K stars31.7K/wk

77Good

MCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.