cosmic-mcp

All servers

Prolog Reasoner

io.github.rikarazome/prolog-reasoner · version 0.2.1

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

SWI-Prolog as a logic calculator for LLMs

https://github.com/rikarazome/prolog-reasoner

Quick facts

  • Listing: Community
  • Published Apr 17, 20:15 UTC
  • Transport: stdio
  • Package: pypi prolog-reasoner 0.2.1
  • Listed by cosmic-mcp: Nov 9, 04:26 UTC

Time and utilities

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'prolog-reasoner==0.2.1'

Claude Desktop (claude_desktop_config.json)

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

Claude Code

claude mcp add 'prolog-reasoner' -- uvx 'prolog-reasoner==0.2.1'

Cursor (.cursor/mcp.json)

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

VS Code (.vscode/mcp.json)

{
  "servers": {
    "prolog-reasoner": {
      "args": [
        "prolog-reasoner==0.2.1"
      ],
      "command": "uvx",
      "type": "stdio"
    }
  }
}

Related servers