verifiedstate-mcp
Official@verifiedstate/mcp
VerifiedState の公式MCPブリッジ — Claude Code、Cursor、Windsurf、その他のMCPクライアントを検証済みメモリおよびProof Meterに接続します。
このパッケージは、ツール呼び出しをホストされたエンドポイントにプロキシするローカルstdio MCPサーバーを実行します。APIキーは、VerifiedStateへの Authorization: Bearer として以外、マシンから外部へ送信されることはありません。
ホスト型MCPサーバー
項目 | 値 |
MCP URL |
|
ディスカバリー (エージェントカード) |
|
ダッシュボード & キー |
リモートHTTP MCPをサポートするクライアントは、上記のURLを直接指定して以下を送信できます:
Authorization: Bearer vs_live_...Related MCP server: cogmem
ツール (13)
ツール | 説明 |
| コンテンツを検証済みメモリに取り込みます。 |
| 検証済みメモリに対するセマンティック検索。ランク付けされた主張とレシートを返します。 |
| 主張の検証を実行し、署名付きレシートを生成します。 |
| 名前空間の健全性:カウント、検証比率、期限切れ/古いデータ、競合などを確認します。 |
| 支出予算を設定したProof Meter機能を作成します。 |
| 機能に対する支出を記録し、ハッシュチェーンされたレシートを返します。 |
| 機能の残予算と支出の概要を確認します。 |
| レシートをMerkleルート化されたバッチに決済します。 |
| 支出レシートを暗号学的に検証します。 |
| 名前空間の支出レシートを一覧表示およびフィルタリングします。 |
| セッション状態(概要、ファイル、決定事項、次のステップ)を永続化します。 |
| プロジェクトの最後に保存されたセッションを読み込みます。 |
| セッションを終了し、オプションで概要を保存します(セッションは自動的にも永続化されます)。 |
インストール
npm install @verifiedstate/mcpまたはインストールせずに使用する場合:
npx -y @verifiedstate/mcp環境変数
変数 | 必須 | 説明 |
| はい ( | verifiedstate.ai/keys から取得したAPIキー |
| いいえ | ツール引数で省略された場合に注入されるデフォルトの |
MCP設定
Cursor
MCP設定(例:Cursor設定 → MCP)に追加し、プレースホルダーキーを置き換えてください:
{
"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
Cursorと同じ形式です。Claude CodeのMCP設定にマージしてください:
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}Windsurf
Windsurfの設定で同等のMCPサーバーエントリを使用してください(stdioコマンド + 環境変数):
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}リモートHTTP (クライアントがサポートしている場合)
クライアントで https://mcp.verifiedstate.ai/mcp を指定し、APIキーを使用して Bearer 認証を設定してください。正確なJSON形式は製品によって異なります。クライアントのドキュメントで「リモートMCP」または「SSE/HTTP MCP」を参照してください。
プログラムによる設定ヘルパー
import { getConfig } from '@verifiedstate/mcp';
const config = getConfig('vs_live_...', 'optional-namespace-id');
// => { mcpServers: { verifiedstate: { command, args, env } } }ライセンス
MIT — LICENSE を参照してください。
貢献
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.
Attestable memory for AI agents: curated writes, verifiable tenant isolation, bi-temporal facts.
Local-first long-term memory for AI agents, with byte-recomputable signed verification receipts.
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
- FlicenseNot gradedqualityCmaintenanceProvides AI agents with persistent memory across sessions, enabling recall of decisions, clients, and deadlines with verifiable citations.-
- AlicenseNot gradedqualityBmaintenanceProvides AI agents an auditable memory layer with provable deletion via signed certificates, a tamper-evident hash-chained audit trail, and bi-temporal time-travel recall over SQLite or Postgres.32 PyPIApache 2.0