verifiedstate-mcp

verifiedstate-mcp

Verified 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.

Category
Visit Server

README

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.

Recommended Servers

playwright-mcp

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Official
Featured
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Official
Featured
Local
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

Official
Featured
Local
TypeScript
VeyraX MCP

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

Official
Featured
Local
graphlit-mcp-server

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Official
Featured
TypeScript
Kagi MCP Server

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

Official
Featured
Python
E2B

E2B

Using MCP to run code via e2b.

Official
Featured
Neon Database

Neon Database

MCP server for interacting with Neon Management API and databases

Official
Featured
Exa Search

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Official
Featured
Qdrant Server

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.

Official
Featured