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: attestor
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 installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
Flicense-quality-maintenanceVerified 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.Last updated- Alicense-qualityBmaintenanceAudit-grade memory backbone for agent teams. Bi-temporal facts (event time + transaction time, with recall(as_of=...) replay), 6-step deterministic retrieval (no LLM in the critical path), conversation ingest with speaker-locked dual-pass extraction, per-tenant Postgres row-level security, and Ed25519-signed provenance. Postgres + pgvector + Neo4j defaults.Last updated14MIT
- Alicense-qualityAmaintenanceProvides non-custodial, post-quantum encrypted memory for AI agents, enabling portable memory across models with provable erasure.Last updated1Apache 2.0
- AlicenseAqualityBmaintenanceSelf-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.Last updated82Apache 2.0
Related MCP Connectors
Hosted memory for AI agents that learns and forgets — one key across Claude, Cursor & ChatGPT.
Persistent memory for AI agents — verbatim conversations, searchable by meaning.
User-owned memory for AI agents, Copilot, Claude, IDEs, CLIs, and chat apps over remote MCP.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/verifiedstate/verifiedstate-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server