lemmalog
A Rust Datalog engine that gives LLM agents a verifiable, provenance-tracked memory, with an MCP server so tools like Claude Code can use it as a shared long-term brain.
View jordyzomer/lemmalog on GitHub- GitHub stars
- 347
- Forks
- —
- Language
- Rust
Project details
- Repository
- jordyzomer/lemmalog
- Licence
- MIT
- Primary language
- Rust
- Catalog status
- Available
- Catalog check
- 2026-11-13
Repository description
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.
Explore by topic
More tools in Knowledge & documents
- graphify
graphify-labs · Apache-2.0
Turns any codebase, plus its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph that AI coding agents like Claude Code, Cursor, Codex, and Gemini…
- ai-agent-book
bojieli · Apache-2.0
A free open-source book, translated into 15 languages including English, that teaches how AI agents actually work with 109 runnable experiments.
- semantica
semantica-agi · MIT
A graph-based infrastructure layer that gives AI systems structured context and an audit trail for their reasoning.
- code-graph-rag
vitali87 · MIT
code-graph-rag builds a knowledge graph of a codebase so an AI assistant can query, understand, and edit it more accurately.