What tools does the prolog-reasoner MCP server provide?

The tool list for prolog-reasoner has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does prolog-reasoner require an API key?

Not known. prolog-reasoner has not been successfully queried, so its authentication requirements are unverified.

How do I install prolog-reasoner?

Run: claude mcp add prolog-reasoner -- uvx prolog-reasoner==0.2.1. One-click install links for Cursor and VS Code are also available on the server's page.

Connection check local install

prolog-reasoner

SWI-Prolog as a logic calculator for LLMs

AI & LLM tooling

Tools —

GitHub stars 11

Installs / wk —

Licence MIT

Transport stdio

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.