verifiedstate-mcp
Official@verifiedstate/mcp
Official MCP bridge for VerifiedState — connect Claude Code, Cursor, Windsurf, and other MCP clients to verified memory and Proof Meter.
This package runs a local stdio MCP server that proxies tool calls to the hosted endpoint. Your API key never leaves your machine except as Authorization: Bearer to VerifiedState.
Hosted MCP server
Item | Value |
MCP URL |
|
Discovery (Agent Card) |
|
Dashboard & keys |
Clients that support remote HTTP MCP can point directly at the URL above and send:
Authorization: Bearer vs_live_...Related MCP server: cogmem
Tools (13)
Tool | Description |
| Ingest content into verified memory; returns |
| Semantic search over verified memory with ranked assertions and receipts. |
| Run verification on an assertion; produces a signed receipt. |
| Namespace health: counts, verification ratio, stale/expired, conflicts. |
| Create a Proof Meter capability with a spend budget. |
| Record spend against a capability; returns a hash-chained receipt. |
| Remaining budget and spend summary for a capability. |
| Settle receipts into a Merkle-rooted batch. |
| Cryptographically verify a spend receipt. |
| List and filter spend receipts for a namespace. |
| Persist session state (summary, files, decisions, next steps). |
| Load the last saved session for a project. |
| End session with optional summary (sessions also auto-persist). |
Install
npm install @verifiedstate/mcpOr use without installing:
npx -y @verifiedstate/mcpEnvironment
Variable | Required | Description |
| Yes (for | API key from verifiedstate.ai/keys |
| No | Default |
MCP configuration
Cursor
Add to your MCP config (e.g. Cursor Settings → MCP), replacing the placeholder key:
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE",
"VERIFIEDSTATE_NAMESPACE_ID": "optional-default-namespace-uuid"
}
}
}
}Claude Code
Same shape as Cursor — merge into your Claude Code MCP configuration:
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}Windsurf
Use the equivalent MCP server entry in Windsurf’s config (stdio command + env):
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}Remote HTTP (if your client supports it)
Point the client at https://mcp.verifiedstate.ai/mcp and configure Bearer authentication with your API key. The exact JSON shape depends on the product; refer to your client’s docs for “remote MCP” or “SSE/HTTP MCP”.
Programmatic config helper
import { getConfig } from '@verifiedstate/mcp';
const config = getConfig('vs_live_...', 'optional-namespace-id');
// => { mcpServers: { verifiedstate: { command, args, env } } }License
MIT — see LICENSE.
Contributing
See CONTRIBUTING.md.
This server cannot be deployed
Maintenance
Related MCP Connectors
Verified memory for AI agents. Signed assertions, billing attestation, session continuity.
Truth-validated, SHA-512-sealed AI memory for Claude & Cursor. Free tier, OAuth, 38 tools.
Local-first long-term memory for AI agents, with byte-recomputable signed verification receipts.
- memnodeOAuthdev.memnode
Persistent, inspectable memory for AI agents with lineage, correction, and a hosted MCP endpoint.
Related MCP Servers
FlicenseNot gradedqualityNot gradedmaintenanceVerified memory infrastructure for AI agents. Every assertion signed, timestamped, and cryptographically proven. Includes session continuity across Claude Code, Cursor, and Windsurf, plus Proof Meter billing attestation.-- AlicenseAqualityFmaintenanceSelf-improving, verifiable memory for AI coding agents. Learns how you work, stops repeating mistakes, models each project, recalls the right lesson at the right moment. Every memory is signed and tamper-evident. Local-first.82Apache 2.0
- AlicenseAqualityAmaintenanceLocal-first, source-traceable memory for AI agents — no LLM at ingest, $0 per message, zero data egress. Gives Claude Code, Cursor, and any MCP client one shared persistent memory with semantic recall, belief revision, selective forgetting, and a provenance guard that blocks acting on stale or unconfirmed memories.2314MIT
- FlicenseNot gradedqualityCmaintenanceProvides AI agents with persistent memory across sessions, enabling recall of decisions, clients, and deadlines with verifiable citations.-