mnema
MCP ServerLocal-first, formally verified memory for AI agents: consult/learn/related/list over MCP.
Install
# Published to mcpb: https://github.com/Zimac-AI/mnema/releases/download/v0.2.0/mnema-0.2.0-macos-universal.mcpb
# See the project's README for install instructions.What is mnema?
Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.
Trust
69/100 · Good3 factors scored below maximum
Documentation
README · ~2 min readMnema
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
Reviews
Log in to leave a review.
No reviews yet — be the first.
Explore related
Other things in this space — across every part of the ecosystem, not just mcp servers.
MCP Serverssimilar to this one
All mcp servers →codebase-memory-mcp
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.
36.7K stars
infranodus-mcp-server-infranodus
Map text into knowledge graphs to create a structured representation of conceptual relations and t…
95 stars
sverklo
Local-first MCP code intelligence: 37 tools — hybrid search, blast-radius, diff review, memory.
76 stars
Skills
All skills →ECC
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
235.3K stars
claude-mem
Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with Claude Code, OpenClaw, Codex, Gemini, Hermes, Copilot, OpenCode + More
88.9K stars
mem0
Universal memory layer for AI Agents
62K stars
Plugins
All plugins →claude-md-management
Tools to maintain and improve CLAUDE.md files - audit quality, capture session learnings, and keep project memory current.
32.9K stars
beads
Beads - A memory upgrade for your coding agent
25.7K stars
context-mode
Context window optimization for AI coding agents. Sandboxes tool output (98% reduction), persists session memory, and enforces routing across 17 platforms via MCP + hooks.
19.4K stars
Commands
All commands →Subagents
All subagents →ECC
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
235.3K stars
maestro-flow
Intent-driven workflow orchestration for multi-agent AI development — adaptive lifecycle engine, self-reinforcing knowledge graph, and visual dashboard for Claude Code, Gemini, Codex & more
486 stars
nimble-analyst
Deep analysis agent for Nimble business skills. Use when a skill needs to synthesize research findings, cross-reference data, produce structured reports, or make strategic assessments. Has persistent memory to learn user preferences and analysis patterns across sessions. Use proactively for any task