{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.rikarazome/prolog-reasoner","description":"SWI-Prolog as a logic calculator for LLMs","title":"Prolog Reasoner","repository":{"url":"https://github.com/rikarazome/prolog-reasoner","source":"github"},"version":"0.2.1","packages":[{"registryType":"pypi","identifier":"prolog-reasoner","version":"0.2.1","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-17T20:15:29.704455Z","publishedAt":"2026-04-17T20:15:29.704455Z","updatedAt":"2026-04-17T20:15:29.704455Z","isLatest":true}}}],"metadata":{"count":1}}