Verifiedstate

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	https://mcp.verifiedstate.ai/mcp
Discovery (Agent Card)	https://mcp.verifiedstate.ai/.well-known/agent-card.json
Dashboard & keys	verifiedstate.ai · API keys

Clients that support remote HTTP MCP can point directly at the URL above and send:

Authorization: Bearer vs_live_...

Tools (13)

Tool	Description
memory_ingest	Ingest content into verified memory; returns artifact_id.
memory_query	Semantic search over verified memory with ranked assertions and receipts.
memory_verify	Run verification on an assertion; produces a signed receipt.
memory_health	Namespace health: counts, verification ratio, stale/expired, conflicts.
meter_authorize	Create a Proof Meter capability with a spend budget.
meter_spend	Record spend against a capability; returns a hash-chained receipt.
meter_budget	Remaining budget and spend summary for a capability.
meter_settle	Settle receipts into a Merkle-rooted batch.
meter_verify	Cryptographically verify a spend receipt.
meter_receipts	List and filter spend receipts for a namespace.
session_save	Persist session state (summary, files, decisions, next steps).
session_load	Load the last saved session for a project.
session_end	End session with optional summary (sessions also auto-persist).

Install

npm install @verifiedstate/mcp

Or use without installing:

npx -y @verifiedstate/mcp

Environment

Variable	Required	Description
VERIFIEDSTATE_API_KEY	Yes (for tools/call)	API key from verifiedstate.ai/keys
VERIFIEDSTATE_NAMESPACE_ID	No	Default namespace_id injected into tool arguments when omitted

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.