verifiedstate-mcp
Official@verifiedstate/mcp
Puente MCP oficial para VerifiedState: conecta Claude Code, Cursor, Windsurf y otros clientes MCP a la memoria verificada y a Proof Meter.
Este paquete ejecuta un servidor MCP stdio local que redirige las llamadas a herramientas al endpoint alojado. Tu clave API nunca sale de tu máquina, excepto como Authorization: Bearer hacia VerifiedState.
Servidor MCP alojado
Elemento | Valor |
URL de MCP |
|
Descubrimiento (Tarjeta de agente) |
|
Panel de control y claves |
Los clientes que admiten MCP HTTP remoto pueden apuntar directamente a la URL anterior y enviar:
Authorization: Bearer vs_live_...Herramientas (13)
Herramienta | Descripción |
| Ingiere contenido en la memoria verificada; devuelve |
| Búsqueda semántica sobre la memoria verificada con afirmaciones y recibos clasificados. |
| Ejecuta la verificación de una afirmación; produce un recibo firmado. |
| Estado del espacio de nombres: recuentos, ratio de verificación, obsoletos/caducados, conflictos. |
| Crea una capacidad de Proof Meter con un presupuesto de gasto. |
| Registra un gasto contra una capacidad; devuelve un recibo encadenado por hash. |
| Presupuesto restante y resumen de gastos para una capacidad. |
| Liquida recibos en un lote con raíz Merkle. |
| Verifica criptográficamente un recibo de gasto. |
| Lista y filtra los recibos de gasto para un espacio de nombres. |
| Persiste el estado de la sesión (resumen, archivos, decisiones, próximos pasos). |
| Carga la última sesión guardada para un proyecto. |
| Finaliza la sesión con un resumen opcional (las sesiones también se guardan automáticamente). |
Instalación
npm install @verifiedstate/mcpO úsalo sin instalar:
npx -y @verifiedstate/mcpEntorno
Variable | Requerido | Descripción |
| Sí (para | Clave API de verifiedstate.ai/keys |
| No |
|
Configuración de MCP
Cursor
Añádelo a tu configuración de MCP (ej. Cursor Settings → MCP), reemplazando la clave de marcador de posición:
{
"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
La misma estructura que Cursor: combínalo en tu configuración de MCP de Claude Code:
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}Windsurf
Usa la entrada de servidor MCP equivalente en la configuración de Windsurf (comando stdio + env):
{
"mcpServers": {
"verifiedstate": {
"command": "npx",
"args": ["-y", "@verifiedstate/mcp"],
"env": {
"VERIFIEDSTATE_API_KEY": "vs_live_YOUR_KEY_HERE"
}
}
}
}HTTP remoto (si tu cliente lo admite)
Apunta el cliente a https://mcp.verifiedstate.ai/mcp y configura la autenticación Bearer con tu clave API. La estructura JSON exacta depende del producto; consulta la documentación de tu cliente para "MCP remoto" o "SSE/HTTP MCP".
Ayudante de configuración programática
import { getConfig } from '@verifiedstate/mcp';
const config = getConfig('vs_live_...', 'optional-namespace-id');
// => { mcpServers: { verifiedstate: { command, args, env } } }Licencia
MIT: consulta LICENSE.
Contribución
Consulta CONTRIBUTING.md.
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/verifiedstate/verifiedstate-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server