Servers Playground How we check Add a server Log in

Servers Playground How we check Add a server Log in

mcptry

Every listing comes from the official MCP Registry. We connect to each remote server on a schedule and publish what happened. Ranking uses health and recency only; nobody pays to rank higher.

Directory

All servers Working now Playground

About

How we check Add a server MCP Registry

Prolog Reasoner MCP server | mcptry

P

Prolog Reasoner

Local install

io.github.rikarazome/prolog-reasonerv0.2.1

SWI-Prolog as a logic calculator for LLMs

Source Registry entry

Maintain this server? Claim it

Try it

This server only runs locally, from a package. Install it with the instructions on this page to try it.

Tools

We don't run packages, so we can't list this server's tools.

Health

Runs on your machine from a package. We don't run packages, so it isn't checked.

Install

Local (pypi)stdio

uvx prolog-reasoner==0.2.1

How it ranks

35/100

Works right now: 22/40
Uptime, 30 days: 5/10

Tool quality

0/15

Complete listing

8/15

Domain verified

0/5

Claimed by its maintainer

0/5

Speed

0/5

Recently updated

0/5

How scoring works