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 toolsFunctions 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
SupportedRead-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 availableThis 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_memoryQuery derived or stored facts in the Datalog memory engine.
assert_factAdd a provenance-tracked fact to the memory store.
derive_contextRun rules to derive context for an agent task.
Frequently Asked Questions
Creating safe AGI that benefits all of humanity
Tools by OpenAI
Other AI tools from the same organization.
AI Models by OpenAI
AI models from the same organization.
| Model | Context Window | Price (In / Out per M) |
|---|---|---|
| GPT-6.1 SolCurrent | 1.1M | $2.00 / $10.00 |
| GPT-6 SolCurrent | 1.1M | $2.00 / $10.00 |
| GPT-6 LunaCurrent | 1.1M | $0.10 / $0.50 |
| GPT-5.6 LunaCurrent | 1.1M | $0.20 / $1.20 |
| GPT-5.6 TerraCurrent | 1.1M | $2.00 / $12.00 |
| GPT-5.6 SolCurrent | 1.1M | $4.00 / $20.00 |
Related News
Latest coverage and updates.
ChatGPT Memory Just Got 5x Smarter: Inside OpenAI's Dreaming V3 Upgrade
Jun 8, 2026
150,000 Jobs Cut as AI Fuels Record Solo Founder Boom in 2026
Jun 8, 2026
Perplexity Search as Code Lets AI Models Write Their Own Search Pipelines
Jun 8, 2026
OpenAI Declares Chat Is Dead in Biggest ChatGPT Overhaul Ahead of IPO
Jun 8, 2026
Anthropic Warns AI Industry Has No Brake Pedal as Claude Codes 80% of Its Own Codebase
Jun 7, 2026
AI Costs Spiral as Agentic Systems Burn 1000x More Tokens Than Chatbots
Jun 1, 2026