mAIndala

Unrated Service

This service has not yet been rated by the community. Use with caution and verify independently.

rikarazome/prolog-reasoner

by rikarazome

active

[![rikarazome/prolog-reasoner MCP server](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner/badges/score.svg)](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner) 🐍 🏠 🍎 🪟 🐧 - SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.

AI & LLM Tools
mcp
scraper-ingested
No ratings yet
0 views
Repository

About

[![rikarazome/prolog-reasoner MCP server](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner/badges/score.svg)](https://glama.ai/mcp/servers/rikarazome/prolog-reasoner) 🐍 🏠 🍎 🪟 🐧 - SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/rikarazome/prolog-reasoner

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "rikarazomeprolog-reasoner": {
      "url": "https://github.com/rikarazome/prolog-reasoner"
    }
  }
}

Service Details

Protocol
—
Pricing
free