Skip to main content
Glama
verifiedstate

verifiedstate-mcp

Official
by verifiedstate
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Remote

VerifiedState

Decision trace infrastructure for AI agents. VerifiedState is a standalone verified memory layer — any AI agent, model, or workflow can write assertions to a shared memory store and receive cryptographic verification receipts in return. Every fact is signed with Ed25519, timestamped, confidence-scored, and queryable at any point in time. Built for regulated industries where "the agent said so" isn't good enough.

verifiedstate.ai · Docs · Get API Key · Playground

Connect via MCP

Any MCP-compatible client (Cursor, Claude Code, Windsurf, Goose) can connect in one step:

{
  "mcpServers": {
    "verifiedstate": {
      "url": "https://mcp.verifiedstate.ai/mcp",
      "headers": {
        "Authorization": "Bearer YOUR_API_KEY",
        "X-Namespace-ID": "YOUR_NAMESPACE_ID"
      }
    }
  }
}

Or use the CLI:

npx @verifiedstate/cli init

MCP Tools

Tool

Description

memory_ingest

Ingest raw content (conversation, document, user input) into verified memory. Creates an artifact and evidence spans.

memory_query

Semantic search over verified memory. Returns ranked assertions with their active receipts.

memory_verify

Run the verification ladder on an assertion. Produces a signed receipt and updates assertion status.

memory_health

Get memory health stats for a namespace: assertion counts, verification ratio, stale/expired, open conflicts.

meter_authorize

Create a Proof Meter capability that grants an agent a spend budget. Returns a signed capability token.

meter_spend

Record a spend event against a Proof Meter capability. Returns a signed, hash-chained receipt.

meter_budget

Check remaining budget and spend summary for a Proof Meter capability.

meter_settle

Settle outstanding spend receipts into a Merkle-rooted settlement batch.

meter_verify

Cryptographically verify a Proof Meter spend receipt (hash, signature, chain, Merkle inclusion).

meter_receipts

List and filter Proof Meter spend receipts for a namespace.

session_save

Save current session state — captures what was built, decisions made, files changed, and next steps.

session_load

Load the last saved session state for a project. Resume exactly where the last session ended.

Stack

  • Database: Supabase Postgres + pgvector

  • Edge compute: Cloudflare Workers (TypeScript)

  • Signatures: Ed25519 via Web Crypto API

  • Object storage: Cloudflare R2

  • Model calls: OpenRouter

License

Proprietary. See verifiedstate.ai for terms.

This server cannot be deployed

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Resources

Related MCP Connectors