JordyZomer/lemmalog

A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.

341Stars on the repository
1Mods indexed here, across every type
26d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

lemmalog

01

JordyZomer/lemmalog

Skill Claude CodeCodex

Externalize working memory and logical state into the lemmalog Datalog engine (MCP). Use for ANY multi-step task where state should outlive one context window or span agents: long investigations, debugging sessions, audits, multi-agent searches, systematic explorations, planning with many interdependent constraints…

not rated 341 +1 changed 25d ago A SkillSpector: pass 105 tokens original MIT