What does lemmalog do?

It provides a Datalog-backed memory engine with an MCP server interface for LLM agents.

Is lemmalog an official MCP server?

No. It is tracked as a community server from the public GitHub repository.

How do I install lemmalog?

Use the GitHub repository as the source of truth and follow its current README installation instructions.

lemmalog

Name: lemmalog
Author: JordyZomer

by JordyZomer

communitystdiogithub

View all implementations

252stars|18forks

View on GitHub Docs

Works withClaude DesktopCursorVS CodeWindsurf

About

Datalog-backed memory and reasoning context for LLM agents through an MCP server.

Features

Datalog rule engine for agent memory
Provenance-tracked facts for inspectable context
Incremental derivation for updating memory state
MCP server interface for agent harness integration

Use Cases

Agent framework builders

Give agents a shared reasoning memory that can store facts and derive new context.

AI infrastructure teams

Experiment with Datalog as a structured memory layer instead of unstructured notes.

What This Server Can Do

MCP servers expose three types of capabilities to AI clients. Here's what lemmalog supports.

Tools

Supported3 tools

Functions your AI client can call to perform actions — like querying a database, creating a file, or calling an API.

How to use: Tools run automatically when your AI client decides they're needed. Ask your AI assistant to perform a task, and it will invoke the right tool.

Resources

Supported

Read-only data sources this server exposes — like files, database schemas, or API responses your AI client can read for context.

How to use: Resources are loaded as context when your AI client needs background information. Ask about the data this server manages, and resources get pulled in automatically.

Prompts

Not available

This server does not provide pre-built prompt templates.

For the full list of available tools, resources, and prompts, check the README on GitHub.

Available Tools (3)

query_memory

Query derived or stored facts in the Datalog memory engine.

assert_fact

Add a provenance-tracked fact to the memory store.

derive_context

Run rules to derive context for an agent task.