Armory
Source
Browse
MCPs

rikarazome-prolog-reasoner

SWI-Prolog execution for LLMs to delegate combinatorial reasoning and constraint satisfaction problems.

Score
63.1552 signals
Evidence
11 stars · 1 fork
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. chiasmus213 stars · 11 forks92.230
  2. based-h-10-deepseek-reasoner52 stars · 15 forks87.462
  3. sdiehl-universal-solver65 stars · 8 forks86.808

What it is

MCP server Prolog Reasoner, catalogued on PulseMCP. SWI-Prolog execution for LLMs to delegate combinatorial reasoning and constraint satisfaction problems.

When to use it

SWI-Prolog execution for LLMs to delegate combinatorial reasoning and constraint satisfaction problems.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.