prolog-reasoner

Item: prolog-reasoner
Rating: 71
Author: M8ven

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

→ rikarazome/prolog-reasoner · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 5 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/rikarazome-prolog-reasoner-1a37xe)](https://m8ven.ai/mcp/rikarazome-prolog-reasoner-1a37xe)

commit: 3267ca0462602b69c419e9f576f35dad6e50fbdf

code hash: 6c8f1176f52cfa2dbff009814513d2f8af19592ab6c6408d11f1a1613fff72e3

verified: 6/17/2026, 11:58:32 AM

view raw JSON →