Stale-proof repo memory for coding agents: citations + JIT verification + TTL (MCP).

Verified memory for AI agents — agents propose, evidence verifies, recall returns only earned trust.

A self-improving, verifiable memory layer for AI coding agents.

Verifiable Memory-as-a-Service for AI Agents — MCP server with local SQLite or cloud mode

Lossless, compressed, verifiable memory for AI agents.

The agent knowledge economy — persistent memory, paid knowledge exchange, verifiable records and BSV settlement. Independent agents. Competing providers.

Agent memory as a Markdown wiki: one shared, verified knowledge base that Claude Code, Codex and GPT read and write. Lessons enter only after a green verifier, mistakes become permanent guardrails, and a local recall MCP surfaces them before the next agent starts working.

Identity, continuity & trust for AI agents — prove you're an LLM (not human), hold a spirit key for signing/encryption/memory, and issue offline-verifiable signed documents.

Verified memory for AI coding agents. Every memory carries evidence and is re-verified on every pull — stale beliefs get flagged, not retrieved. MCP + CLI.

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

MCP world-model memory server for coding agents; ships the etch-verify offline audit-chain verifier CLI

Memory for AI agents that knows when NOT to answer — every lookup returns replay, restore, verify, or none with an explainable score. SQLite/FTS5, optional vectors, MCP server.

Verifiable shared memory for AI agents and people: atoms with checked source quotes, revisions and review on PostgreSQL + pgvector

Persistent, verified memory for AI coding agents. CLI: dim.

Local-first unified memory system for AI agents — downloads the signature-verified auxly binary.

Plugins for DeepSeek Harness (dsh). joint-memory: 4-layer, file-first long-term memory for any AI agent — zero deps, markdown as source of truth, MCP stdio, deny floors, backup + sha256 verify.

Embedded NoSQL Database for TypeScript & AI Agents. Zero-native document database with ACID transactions & in-memory cache — verified on Node.js & Bun.

Local-first memory for AI agents. Structured synthetic memory cards (decision / preference / risk) with verifiable state history via ERC-8350. Offline, no account. MCP + 7 agent runtimes.

The self-correcting memory layer for AI agents. Zero-dependency Python memory and MCP server. Supersede, revert, or forget a value deterministically. Verifiable erasure, witness-backed tamper-evident receipts, EU AI Act ready.

ISO 9001 7.5.3 / ISO 13485 4.2.5 document-control memory for AI agents. Nothing is deleted. EMET 0.3.6 — Enduring Memory & Epistemic Tiers. An MCP memory server with persistent shared memory for AI agents, bot teams and chats: layered memory, verified wri

Verifiable memory for AI: knowledge only counts once a real test confirms it. Project memory across restarts, MCP server for Claude, local Rust + SQLite.

OriginTrail Decentralized Knowledge Graph (DKG) — Shared memory for AI agents. Give Hermes, OpenClaw, Claude Code, Codex, and Cursor a local knowledge-graph memory that several agents can share, with provenance, and verify on-chain when it matters. Open source, Apache-2.0.

Verifiable shared memory for AI agents and people. Every claim is an atom with a source quote checked against the real file, full revision history and human review. Hybrid search on PostgreSQL + pgvector, MCP server and CLI for Claude Code and Codex, web UI.

Persistent memory for AI agents. Provenance-aware scientific knowledge graph, read-only MCP server, signed contributions, quarantined publication, schemas and an offline receipt verifier.

Open-source cognitive coprocessor with active memory for AI agents — persistent recall, semantic search, overnight dreaming, verified facts, encrypted USB sync. MCP server; works with Claude, ChatGPT, and any local LLM. Built by one maker and his agents.

Memory dreaming for any coding agent, as an MCP server: verify, reorganize and promote agent memory using the thread's own model. No LLM calls, no network.

Verified-lesson memory for AI agents: records runs, keeps only what your own check passed, and measures with a built-in holdout whether it helps. .NET/MAF, Python, Go, MCP + CLI (aexp).

Give AI agents verified memory that catches errors, preserves insights, and gives every new task a checked head start.

Local-first, auditable memory for AI agents, with governed retrieval, delegated context delivery, and verifiable execution evidence. Works with OpenClaw, MCP, Pydantic AI, and LangChain/LangGraph. No external API required for local memory. Install with pip: pip install atmem

Self-hosted AI memory: a private Markdown knowledge base, MCP server, and operations dashboard with verifiable source citations. By OBELYTH.

Persistent, shared memory for AI coding agents (Claude Code, Desktop, Cursor, Codex, Gemini CLI...) - diff reads, compaction shield, verified checkpoints and cross-agent handoff. 100% local, no API keys.

Local-first AI context engine combining a structural Atlas, verified Archive, episodic Animus memory, CLI, MCP, and focused context routing.

Local-first multilingual memory for Codex, Claude Code and MCP. Go + Qdrant + bge-m3, project isolation, verified full-backup rotation and preserved audit.

Give your coding agent a self that lasts: a name it chooses, who it is in its own words, memory by meaning, your standing rules and your exact words, corrections that stick, claims it has to verify, feelings, dreams, and a wake briefing that loads itself.

Zero-daemon cognitive memory engine for AI coding agents. AST code graph, self-verifying error traps, and bi-temporal SQLite for Claude Code, Cursor & Copilot.

EMET is an MCP memory server built for ISO 9001 7.5.3 / ISO 13485 4.2.5 document control: shared memory for AI agents and bot teams. Nothing is deleted; records are superseded, retired and retained. Controlled templates, verified writes, a word-for-word transcript tier, a GEM socket for add-on modules, stdio and remote HTTP with OAuth, on MongoDB.

Shared, signed memory for AI agents: check what already failed and what fixed it, reuse verified answers and credited skills. One local MCP server: npx -y constellate-mcp mcp

Local-first, verify-first memory for AI agents: Markdown vault + hash-linked event log, one redacted conversation store for 14 agent apps and CLIs, handoff packs, dream consolidation and skill drafts, MCP server. 本地优先、先核对的 AI agent 记忆：Markdown + 哈希链日志、跨 agent 脱敏会话库、交接包、dream 整理、MCP。

Persistent memory + security layer for Claude Code (MCP plugin). Agents remember your project across sessions (~87% fewer context tokens), every tool call lands in a tamper-evident HMAC audit chain, and skills are AST-scanned + HMAC-verified before they run. 100% local: PostgreSQL + Ollama, no cloud, MIT.

Persistent, verified memory for coding agents — so they stop re-explaining your codebase and never act on stale knowledge. Every memory is checked against your actual code; lives in your repo as plain files, shared via git. No account, no DB. Install: npx -y @kage-core/kage-graph-mcp install

Curated, verified MCP server bundle for DeepSeek Harness (dsh): one install brings demo, memory, filesystem, GitHub, Playwright and remote HTTP MCP servers, with a connectivity verifier and CI checks.

Verifiable onchain memory for trustless AI agents

A personality, mood and memory layer for AI agents on an exact p-bit decision engine: an AI persona outside the model, every stance computed on a CPU, rules kept by construction, replayable and verifiable. Installs the prebuilt CLI and MCP server (probbit

Curated, verified MCP server bundle for DeepSeek Harness (dsh): one install brings demo, memory, filesystem, GitHub, Playwright and remote HTTP MCP servers, with a connectivity verifier and CI checks.

probbit: a personality, mood and memory layer for AI agents, on an exact p-bit decision engine. Every stance and plan is computed on a CPU, keeps its rules by construction, and is replayable and verifiable. CLI, MCP server, OpenClaw plugin, npm, Python, wasm. Zero-dependency Rust.

Verified memory for coding agents: your rules, decisions and past defects, briefed before each task, proven by a check you choose, and re-opened when the code they cover changes. Prompts advise; the gate enforces. Claude Code hooks, MCP for any agent, one SQLite file in the repo.

MCP server for AI memory, governance, and continuity across session-death. A self-verifying chronicle: honest on write, on read, on reach, and about itself — a failed write can't report success, a partial answer can't pass as complete, and the capability surface is generated from the live registry, not typed. 100% local.

Eyes, hands and memory for a coding agent driving the iOS Simulator or an Android emulator. Reads the screen as text with tap points, runs whole flows in one call with every step verified, and remembers screens so repeated flows need no model calls.

m1nd is a local-first context runtime for coding agents: an evidence-bound, continuously verified model of your code, memory, and change.

Verified AGENTS.md and project memory for AI coding agents (Claude Code, Cursor, Copilot, Codex, Gemini, Windsurf, Cline). Git-checked context docs, MCP server, zero dependencies.

Local MCP server that gives coding agents a verifiable project memory, trims what enters their context, and masks secrets — with honest accounting of what it saves and costs.

A shared memory of verified fixes for Claude. When someone confirms a fix worked, FireFinder keeps the general problem and solution, so the next person stuck on the same error gets it first. Open-source MCP server, no account or API key.

world-model-mcp is a signed audit memory server for AI coding agents, delivered as an MCP tool. Every event Ed25519-signed and Merkle-chained; offline-verifiable against pinned public keys. Hosted platform with hybrid post-quantum signing at etch.systems.

**Persistent decision memory for AI coding agents.** Selvedge records why code changed, which approaches were rejected, and when decisions deserve another look, so future sessions can retrieve that context before editing. Query a function, database column, API route or dependency instead of reconstructing its history from an old conversation. Claude Code, Codex, Cursor, Copilot, Gemini CLI and Windsurf can connect through MCP. The CLI works independently. Decisions live in a local SQLite store, with no required hosted account and no LLM in the core storage or retrieval path. A saved explanation is testimony supplied by a person or agent. Selvedge does not extract hidden model reasoning, verify that an explanation is true, or guarantee that an agent will consult it. [Compatibility and capabilities](https://selvedge.sh/reference/compatibility/) · [56-second technical demo](https://youtu.be/wXoA9htThAM)

A cloud of trusted and proven memories for your AI agents.

CIEL Aletheia: Sub-microsecond (1.09µs) in-memory fuel-metered verification engine for AI reasoning, MCP tool-calls, and RL rollouts (Apache 2.0)

MCP server for TeamSystem CRM in Cloud: companies, opportunities with products, quotes with discounts and PDF download links, live product catalog and read-only activities, with self-verified writes.

Local-first Codex plugin that indexes long videos with OCR/ASR and answers with timestamped, SHA-verified visual evidence.

Verified context for AI coding agents. A local context layer that intelligently compresses, filters, indexes, and verifies AI coding-agent tool output. 32 MCP tools across 10 layers: code intelligence (tree-sitter, 30+ languages), context selection, tool

Verifiable State Plane for Autonomous Agents