rikarazome/prolog-reasoner

by rikarazome

active

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

2.9(1)

22 views

Repository

About

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

More AI & LLM Tools Services

gingugu/gingugu

Persistent memory for AI coding assistants. Local SQLite, no cloud. 16 MCP tools: store, recall, search, relate, consolidate, export, and credential vault (OS keychain). Typed memories with confidence lifecycle (verified/inferred/stale/deprecated), namespaces, knowledge graph, and hybrid BM25 + semantic search via fastembed ONNX. Works with

fenghaochang/LoreRoom

Encrypted, local memory for your Claude Code Telegram bot. Captures both sides of the conversation at the plugin source (survives restarts and crashes) and recalls it via MCP tools — whole-file SQLCipher encryption, FTS5 full-text search (CJK-friendly), never touches your bot token.

grooverLab/fable

MCP server over your Claude Code transcript history — full-text + semantic search, byte-identical thread recall, durable /remember facts. Local SQLite, stdlib-only.

ZengLiangYi/ChatCrystal

Local-first AI PKM memory server for coding conversations. Imports Claude Code, Cursor, Codex CLI, Trae, and GitHub Copilot chats into notes, semantic search, tag graphs, Markdown exports, and reusable MCP memory. npx -y chatcrystal mcp