io.github.Mars-proj/verifiable-memory
Memory for AI agents that can't hallucinate — cited or abstains, provable forget, deterministic.
MCP server · by Mars-proj
About
io.github.Mars-proj/verifiable-memory is an MCP server published by Mars-proj. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs on your machine
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a local MCP server: PyPI package
Built from what Official MCP Registry declares.
claude mcp add --transport stdio verifiable-memory -- uvx verifiable-memory-mcp[mcp_servers.verifiable-memory]
command = "uvx"
args = ["verifiable-memory-mcp"]{
"mcpServers": {
"verifiable-memory": {
"command": "uvx",
"args": [
"verifiable-memory-mcp"
]
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.1.2 | No figure published | Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
memdata io.github.thelabvenice/memdata
Persistent memory for AI agents. Store context, retrieve it semantically.
-
al-buddy-memory io.github.flytomoon/al-buddy-memory
Governed local memory for AI agents: facts are retired, not overwritten, and every call is audited.
-
memnode dev.memnode/memnode
Persistent, inspectable memory for AI agents with lineage, correction, and a hosted MCP endpoint.
-
memra com.usememra/memra
Persistent memory for AI agents. EU-hosted, privacy-first, hybrid recall, contradiction detection.
-
genesys-memory io.github.Astrix-Labs/genesys-memory
Open-source causal memory for AI agents: persistent, explainable, MCP-native memory (13 tools).
-
Stateful memory for AI agents. Temporal awareness, error loop detection, and preventive constraints.
-
memory com.humaux/memory
Persistent long-term memory for AI agents: semantic search, knowledge graph, and task canvas.
-
context-mem io.github.JubaKitiashvili/context-mem
Persistent memory for AI agents — 98%+ retrieval recall, 99% token savings, 44 tools
-
hypermarrow-mcp io.github.qianqiuwanzi/hypermarrow-mcp
Local-first AI memory MCP server. Record, recall and consolidate memory on your own machine.
-
mem0 io.github.mem0ai/mem0
Persistent memory for AI agents: add, search, update, and delete long-term memories.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
engram io.github.tstockham96/engram
Intelligent agent memory with automatic extraction, consolidation, and bi-temporal recall.
-
agent-knowledge io.github.keshrath/agent-knowledge
Cross-session memory for AI agents - knowledge graph, scoring, semantic search
-
Persistent semantic memory for Claude Code. Stores knowledge in a local ChromaDB vector database and automatically retrieves relevant context on every message using Ollama bge-m3…
-
Save 60-90% on LLM token costs with intelligent memory compression. agent-memory automatically compresses tool output into structured observations, shares context across agents…
-
claude-code-plugin-for-goodmem-a-memory-infra-for-agents
With this plugin, you can operate Goodmem's memory infra in plain English, to create, manage, and orchestrate embedders, rerankers, and LLMs, to ingest and create memories from…
Has a listing on Claude Code: claude-plugins-official (5)
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
-
Build, deploy, and operate AI agents on AWS. Skills for scaffolding agents with Amazon Bedrock AgentCore, connecting tools, memory, policies, evaluation, debugging, and production…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Has a listing on Claude: knowledge-work-plugins (5)
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual…
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
Has a listing on Community GitHub marketplaces (5)
-
A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.
-
bettermemory io.github.0Mattias/bettermemory
Memory for coding agents, checked against the filesystem and git before it is believed.
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
-
Shared session bus so Cursor can hand off with Claude, Codex, Grok, and friends.
-
Build, deploy, and operate AI agents on AWS. Skills for scaffolding agents with Amazon Bedrock AgentCore, connecting tools, memory, policies, evaluation, debugging, and production…
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
foundry-hosted-agent-copilotkit
Build CopilotKit + AG-UI web apps on Microsoft Foundry hosted agents (Microsoft Agent Framework): wiring, native Foundry primitives, human-in-the-loop approvals, azd deploy, and…
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Has a listing on Cursor: cursor/plugins (5)
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Capture, search, and organize notes and collections.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Build apps, scripts, and automations with the TypeScript SDK.
Has a listing on Docker MCP Catalog (5)
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
Wayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
-
mcp-neo4j-memory io.github.neo4j-contrib/mcp-neo4j-memory
MCP Neo4j Knowledge Graph Memory Server
-
Give your AI agents trusted access to the full Postman platform.
-
A unified MCP proxy that aggregates multiple MCP servers into one interface, enabling seamless tool discovery and management across all your AI interactions. Manage all your MCP…
Has a listing on Official MCP Registry (5)
-
memdata io.github.thelabvenice/memdata
Persistent memory for AI agents. Store context, retrieve it semantically.
-
al-buddy-memory io.github.flytomoon/al-buddy-memory
Governed local memory for AI agents: facts are retired, not overwritten, and every call is audited.
-
memnode dev.memnode/memnode
Persistent, inspectable memory for AI agents with lineage, correction, and a hosted MCP endpoint.
-
memra com.usememra/memra
Persistent memory for AI agents. EU-hosted, privacy-first, hybrid recall, contradiction detection.
-
genesys-memory io.github.Astrix-Labs/genesys-memory
Open-source causal memory for AI agents: persistent, explainable, MCP-native memory (13 tools).
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.