Prolog Reasoner

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

Cueapi Mcp

Schedule agent work and report write-once outcomes via CueAPI from any MCP host.

ai1 env var

Prolog Reasoner

stdio

SWI-Prolog as a logic calculator for LLMs

Claude Desktopguide →Vscodeguide →Cursorguide →Windsurfguide →

Getting Started

npx @getmcp/cli add io.github.rikarazome/prolog-reasoner

Requires Python 3.10+. Community-contributed server. Review source before installing.

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "io.github.rikarazome/prolog-reasoner": {
      "command": "uvx",
      "args": [
        "prolog-reasoner"
      ]
    }
  }
}

Claude Desktop MCP documentation

Related Servers

Tandem Docs

remote

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

Cueapi Mcp

Schedule agent work and report write-once outcomes via CueAPI from any MCP host.