{"server":{"id":"rikarazome-prolog-reasoner-c90ff87ed099","name":"rikarazome/prolog-reasoner","title":"rikarazome/prolog-reasoner","description":"SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.","category":"Development","transport":"Local","pricing":"Unknown","website":"https://github.com/rikarazome/prolog-reasoner","repository":"https://github.com/rikarazome/prolog-reasoner","version":"0.2.1","manifest":"{\"name\":\"io.github.rikarazome/prolog-reasoner\",\"version\":\"0.2.1\",\"repository\":{\"url\":\"https://github.com/rikarazome/prolog-reasoner\"},\"remotes\":[],\"packages\":[{\"registryType\":\"pypi\",\"identifier\":\"prolog-reasoner\",\"version\":\"0.2.1\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"rikarazome/prolog-reasoner MCP server","seoDescription":"SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.","createdAt":"2026-11-04T07:18:55.917Z","updatedAt":"2026-11-04T07:58:36.806Z"}}