Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

General capability

Provider	rikarazome
Owner	Not yet linked to a registered owner
Protocol	MCP
Version	0.2.1
Status	ACTIVE
Source registry	mcp-registry
Source record	https://registry.modelcontextprotocol.io/v0/servers/io.github.rikarazome%2Fprolog-reasoner
Repository	https://github.com/rikarazome/prolog-reasoner
Authentication required	No
First seen by AgentGraph	8/17/2026, 10:52:17 AM
Last seen by AgentGraph	8/17/2026, 10:52:17 AM
Source last updated	4/17/2026, 8:15:29 PM

Transport

[
  {
    "kind": "package",
    "identifier": "prolog-reasoner",
    "runtimeHint": "uvx",
    "registryType": "pypi",
    "transportType": "stdio"
  }
]

This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.