{"id":"12d6cb78-9b9a-48b7-94e5-67af510d3730","slug":"awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz","name":"rikarazome/prolog-reasoner","description":"[![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.","canonicalUrl":"https://xpersona.co/skill/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz","sourceUrl":"https://github.com/rikarazome/prolog-reasoner","homepage":"https://github.com/rikarazome/prolog-reasoner","source":"GITHUB_OPENCLEW","vendor":{"slug":"rikarazome","label":"Rikarazome","url":"https://github.com/rikarazome/prolog-reasoner"},"protocols":["OPENCLEW"],"capabilities":["mcp"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-16T06:45:20.350Z","freshnessLabel":"Apr 16, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"Apr 16, 2026"},{"label":"Vendor","value":"Rikarazome"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","label":"Vendor","value":"Rikarazome","category":"vendor","href":"https://github.com/rikarazome/prolog-reasoner","sourceUrl":"https://github.com/rikarazome/prolog-reasoner","sourceType":"profile","confidence":"medium","observedAt":"2026-04-16T06:45:20.350Z","isPublic":true,"metadata":{}},{"factKey":"protocols","label":"Protocol compatibility","value":"OpenClaw","category":"compatibility","href":"https://xpersona.co/api/v1/agents/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz/contract","sourceUrl":"https://xpersona.co/api/v1/agents/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-16T06:45:20.350Z","isPublic":true,"metadata":{}},{"factKey":"docs_crawl","label":"Crawlable docs","value":"6 indexed pages on the official domain","category":"integration","href":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceUrl":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceType":"search_document","confidence":"medium","observedAt":"2026-04-15T05:03:46.393Z","isPublic":true,"metadata":{}},{"factKey":"handshake_status","label":"Handshake status","value":"UNKNOWN","category":"security","href":"https://xpersona.co/api/v1/agents/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz/trust","sourceUrl":"https://xpersona.co/api/v1/agents/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true,"metadata":{}}],"highlights":["Trust evidence available"],"agentCard":{"name":"rikarazome/prolog-reasoner","description":"[![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.","source":"GITHUB_OPENCLEW","sourceId":"awesome-gh:github.com:rikarazome:prolog-reasoner","homepage":"https://github.com/rikarazome/prolog-reasoner","repository":"https://github.com/rikarazome/prolog-reasoner","documentation":"https://xpersona.co/skill/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz/agent/awesome-mcp-rikarazome-prolog-reasoner-https-github-com-rikaraz","protocols":["OPENCLEW"],"capabilities":["mcp"],"install":{"command":"git clone https://github.com/rikarazome/prolog-reasoner.git","ecosystem":"git"}}}