Prolog Reasoner

What you can do with Prolog Reasoner

Prolog Reasoner is a Model Context Protocol (MCP) server published by rikarazome. It ranks #27,808 of 150,963 active servers on MCP Toplist, and its repository has 12 GitHub stars. Prolog Reasoner is listed across 3 registries — Official MCP, PulseMCP and Glama, with 1 tracked version. It was first listed on Apr 14, 2026 and most recently updated on Apr 17, 2026.

What Prolog Reasoner can and cannot do

Not verifiedMCP Toplist has not catalogued this server's tools or limitations. The repository README lists them.

What you need before using Prolog Reasoner

No runtime, credential or payment requirements are recorded for this server beyond the declaration above.

Connect Prolog Reasoner and confirm it works

claude mcp add prolog-reasoner -- uvx prolog-reasoner

[mcp_servers.prolog-reasoner]
command = "uvx"
args = ["prolog-reasoner"]

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

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

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

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

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

What changed, and when this was checked

First listed

Apr 14, 2026

Latest version published

Apr 17, 2026

Version history

1 version tracked (below)

Requirements evidence

Declared by Glama, last synced Oct 22, 2026. Not independently verified by MCP Toplist.

Profile checked

Not yet — purpose, capabilities and requirements above come from registry data only

Ranking data as of

Oct 22, 2026

Do you maintain Prolog Reasoner? Claim it to correct or enrich this profile.

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

[![MCP Toplist](https://mcptoplist.com/badge/io.github.rikarazome%2Fprolog-reasoner.svg)](https://mcptoplist.com/server/io.github.rikarazome%2Fprolog-reasoner)

<a href="https://mcptoplist.com/server/io.github.rikarazome%2Fprolog-reasoner"><img src="https://mcptoplist.com/badge/io.github.rikarazome%2Fprolog-reasoner.svg" alt="MCP Toplist: Top 25% of 150,963" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.