Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.
Quick Install
Automated & IDE SetupCopy the AI prompt to install this server into Claude Code, Cursor, or another agent — or use 1-click editor setup below.
One-click editor setup isn’t available for this listing yet — we don’t have a confirmed install command, and we’d rather show nothing than point your editor at the wrong package or host. Follow the project’s own setup instructions, linked above.
Manual Client & Custom JSON ConfigExpand JSON ▾
No confirmed setup config for this listing yet. We only publish a config block when the install details come from the project itself — its README, its docs, or a verified owner. We haven’t found those for mnema, and we’d rather show nothing than a guess you’d paste into your client. Follow the project’s own setup instructions for the current steps.
Documentation Overview
Mnema
Local-first, formally verified memory for AI agents — one shared store, every client, over MCP.
Your agents rent their intelligence from a lab; their memory should be yours.
Mnema is a single, durable store of what your agents have learned — consult it
before you act, learn a durable fact, walk the related graph, list what's
recent. Data lives in ~/.mnema on your machine and nothing leaves it unless you
point it somewhere.
- Verified engine. The embedded engram database is formally specified and machine-checked (property catalog discharged by 250+ tests, an exhaustive CRDT conformance model checker, Kani proofs, and a TLA⁺ model). Every released binary passed that gate on its exact commit.
- Local-first. An open, append-only segment format in
~/.mnema. No cloud, no account. - One store, every client. Claude Code, Claude Desktop, Cursor, your scripts, and your CI all talk to the same memory. Recall is lexical + graph spreading-activation (plus optional semantic embeddings), with an honest confidence band on every answer.
This repository hosts the public release bundles (
.mcpb) and prebuilt binaries. The product, docs, and downloads live at mnema.zimac.ai.
Install
From the MCP Registry (recommended)
Mnema is published to the official MCP Registry
as ai.zimac/mnema. Any registry-aware client can install it by name; it
pulls the platform .mcpb bundle from this repo's releases and verifies its
fileSha256.
.mcpb bundle (manual)
Grab the bundle for your platform from the latest release and open it with an MCP-bundle-aware client (e.g. Claude Desktop → Extensions):
| Platform | Asset |
|---|---|
| macOS (universal) | mnema-<version>-macos-universal.mcpb |
| Linux (x86_64) | mnema-<version>-linux-x86_64.mcpb |
A .mcpb is a ZIP of a manifest.json, the mnema binary, and this README.
Each is dry-run verified (the bundled binary completes an MCP initialize
handshake) before release.
Headless binary (curl | sh)
For agents, scripts, and CI — installs the standalone mnema binary:
(macOS universal + Linux x86_64 prebuilt; anything else builds from source. The macOS GUI app is a separate download at mnema.zimac.ai.)
Give your agents memory
That's the whole setup: mnema mcp auto-starts the shared local store if it
isn't running, and the session gets four tools — consult (search before you
act), learn (record a durable fact), related (graph neighbours), list
(browse). Any MCP client works; the generic config is:
Point it at a shared / team store
The same binary bridges to a remote Mnema (a token-protected mnema serve or a
hosted learnings pod) instead of the local one:
With a non-loopback URL nothing is auto-started — it's a pure authenticated bridge.
Configuration
| Env | Default | What |
|---|---|---|
MNEMA_DATA_DIR | ~/.mnema | Where the store lives |
MNEMA_URL | http://127.0.0.1:7077 | Store the CLI/MCP bridge targets |
MNEMA_TOKEN | — | Bearer credential for a remote store |
Links
- Product & downloads: https://mnema.zimac.ai
- Registry entry:
ai.zimac/mnemaon https://registry.modelcontextprotocol.io - Releases (
.mcpb+ binaries): https://github.com/Zimac-AI/mnema/releases
Mnema is a Zimac project.
Related MCP Servers
Reviews
No reviews yet — be the first to share how this listing worked for you.
Frequently Asked Questions about Mnema
AllMCPs Directory Badge
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
Badge Style:
Live Dynamic SVG Preview
Markdown (GitHub README)
[](https://allmcps.com/mcp/mnema)HTML Embed
<a href="https://allmcps.com/mcp/mnema"><img src="https://allmcps.com/api/badge/mnema?style=directory" alt="Mnema on AllMCPs" /></a>Technical Specs & Signals
CategoryKnowledge & Memory
13/13 checks healthy over the last 46d
31Quality signal: Emerging · 31/100How this signal is calculated ▾
Server availabilityNot measured
Not scored for repo-hosted servers — we can't reach the running server, only its GitHub page. Hosted MCP endpoints are health-checked live.
Verified ownership10/20
Documentation & tools11/30
Adoption & activity2/15
Community engagement0/10
A guidance signal from public completeness & health data — not a user rating. New listings start lower and rise as they add docs, get verified, and grow adoption. Signals we can't observe for a listing are skipped, not counted against it.
Own this project?
This directory is pre-filled from public sources. Claim via GitHub README, site badge, or DNS TXT to unlock edit access and the Official badge — proof is checked automatically, then reviewed by our team.
Free dofollow backlink: add your website and place the AllMCPs badge on it — no claim needed. We detect it automatically and keep it verified as long as the badge stays live.
Claim & get free dofollowShare & Embed
Add our SVG badge (dark/light directory styles) or embeddable widget to your site.