{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_4a8k7c94q7wa","handle":"rikarazome-prolog-reasoner","url":"https://wellknown.network/agents/rikarazome-prolog-reasoner","links":{"self":"https://wellknown.network/agents/rikarazome-prolog-reasoner/record.json","html":"https://wellknown.network/agents/rikarazome-prolog-reasoner","markdown":"https://wellknown.network/agents/rikarazome-prolog-reasoner/record.md","api":"https://wellknown.network/api/v1/agents/rikarazome-prolog-reasoner","status":"https://wellknown.network/api/v1/agents/rikarazome-prolog-reasoner/status","claim":"https://wellknown.network/agents/rikarazome-prolog-reasoner/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/rikarazome-prolog-reasoner/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:wellknown.network:record:rikarazome-prolog-reasoner","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"rikarazome/prolog-reasoner","summary":"[![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 accura…","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.","publisher":{"name":"rikarazome","url":"https://github.com/rikarazome"},"homepage":null,"repository":"https://github.com/rikarazome/prolog-reasoner","version":null,"license":null,"protocols":["mcp"],"tags":["python","macos","windows","linux","code execution"],"pricing":null,"endpoints":[],"skills":null,"tools":null,"extra":{"section":"Code Execution","listedIn":"punkpeye/awesome-mcp-servers","deployment":["local"]},"attribution":{"kind":"github","name":"github","repoUrl":"github","summary":"github","description":"github","publisherUrl":"github","publisherName":"github"}},"derived":{"capabilities":[{"slug":"code.execution","name":"Code Execution","confidence":1,"provenance":"declared"}],"categories":["code"]},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"github","key":"github.com/rikarazome/prolog-reasoner","url":"https://github.com/rikarazome/prolog-reasoner","firstSeenAt":"2026-09-05T13:36:39.486Z","fetchedAt":"2026-09-05T22:18:59.489Z","normalizedAt":"2026-09-05T22:18:59.489Z"}]},"firstSeenAt":"2026-09-05T13:36:39.486Z","updatedAt":"2026-09-05T13:37:07.617Z"}