MCP server

Prolog Reasoner

io.github.rikarazome/prolog-reasoner

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

SWI-Prolog as a logic calculator for LLMs

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add prolog-reasoner -- uvx prolog-reasoner@0.2.1

Claude Desktop

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

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

FinFam Financial Calculators
Free financial calculators (rent vs buy, mortgage, retirement) plus the FinFam Pulse money digest.
Eng Leadership Toolkit
Engineering leadership benchmarks, 1:1 playbooks, developer value calculator. 3,662 sessions.
Casatoo
Search and compare current homes across Portuguese real-estate portals with Casatoo's hosted MCP.
GO AI Tools
31 no-AI tools: image conversion and EXIF stripping, App Store assets, colour maths. No API key.
Logics-Parsing-V3
Structured document parsing with a 0.8B VLM
Hypertune MCP by usefulapi
Evaluate and inspect your Hypertune feature flags from your AI assistant.
Kettlelogic
MCP server exposing Kettle Logic insight articles & industry guidance as tools + resources.
Picodev Lab
Arduino benches simulated in the browser: sessions, sketch push, simulation, tests, challenges.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.rikarazome/prolog-reasoner.svg)](https://aptlynx.net/servers/io.github.rikarazome/prolog-reasoner)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents