VerifiedState 的官方 MCP 桥接器 —— 将 Claude Code、Cursor、Windsurf 及其他 MCP 客户端连接到验证内存和 Proof Meter。
此包运行一个本地 stdio MCP 服务器，将工具调用代理到托管端点。除了作为 Authorization: Bearer 发送给 VerifiedState 外，您的 API 密钥绝不会离开您的机器。
项目 | 值 |
MCP URL |
|
发现 (Agent Card) |
|
仪表板与密钥 |
支持 远程 HTTP MCP 的客户端可以直接指向上述 URL 并发送：
Authorization: Bearer vs_live_...Related MCP server: cogmem
工具 | 描述 |
| 将内容摄入到验证内存中；返回 |
| 对验证内存进行语义搜索，并返回带排名的断言和收据。 |
| 对断言运行验证；生成已签名的收据。 |
| 命名空间健康状况：计数、验证比率、陈旧/过期、冲突。 |
| 创建具有消费预算的 Proof Meter 能力。 |
| 记录针对某项能力的支出；返回哈希链式收据。 |
| 某项能力的剩余预算和支出摘要。 |
| 将收据结算为 Merkle 根批次。 |
| 加密验证支出收据。 |
| 列出并筛选命名空间的支出收据。 |
| 持久化会话状态（摘要、文件、决策、后续步骤）。 |
| 加载项目的上一个已保存会话。 |
| 结束会话并提供可选摘要（会话也会自动持久化）。 |
npm install @verifiedstate/mcp或者无需安装直接使用：
npx -y @verifiedstate/mcp变量 | 必需 | 描述 |
| 是 (用于 | 来自 verifiedstate.ai/keys 的 API 密钥 |
| 否 | 省略时注入到工具参数中的默认 |
添加到您的 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"
}
}
}
}格式与 Cursor 相同 —— 合并到您的 Claude Code MCP 配置中：
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}在 Windsurf 的配置中使用等效的 MCP 服务器条目（stdio 命令 + env）：
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}将客户端指向 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
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.