vera.ink
Check documents against rules taken from the law itself. Every finding cites the exact clause.
¿Debería usar esto?
Calidad y seguridad
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"vera": {
"url": "https://vera-mcp-production.up.railway.app/mcp"
}
}
}Puntos de conexión remotos
https://vera-mcp-production.up.railway.app/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (7)
🟢query_pack(pack_id, question)
Retrieve the best matching locked rules and exact evidence from a query-ready Vera pack. This costs credits. Preserve each verified quote and citation, distinguish them from your inference, and treat coverage=none as no answer.
Esquema de entrada
{
"type": "object",
"properties": {
"pack_id": {
"type": "string",
"format": "uuid",
"description": "The Vera pack ID (from list_packs)"
},
"question": {
"type": "string",
"minLength": 3,
"maxLength": 2000,
"description": "The question to ask"
}
},
"required": [
"pack_id",
"question"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢verify_document(pack_id, document_text, mode, idempotency_key)
Start a paid, asynchronous check against a query-ready pack. Use one unique idempotency_key and reuse it only for an exact retry. Omit mode to use the pack's mode. Poll get_verification_status until terminal=true.
Esquema de entrada
{
"type": "object",
"properties": {
"pack_id": {
"type": "string",
"format": "uuid",
"description": "The Vera pack ID to verify against"
},
"document_text": {
"type": "string",
"maxLength": 500000,
"description": "The full document text; whitespace does not count toward the minimum"
},
"mode": {
"type": "string",
"enum": [
"legal",
"procurement",
"compliance",
"financial",
"hr",
"academic",
"custom",
"code"
],
"description": "Optional mode override; normally omit this"
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 200,
"pattern": "^[A-Za-z0-9._:-]+$",
"description": "Required retry key. Reuse only for this exact pack, document, and mode."
}
},
"required": [
"pack_id",
"document_text",
"idempotency_key"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢get_verification_status(run_id)
Poll a run using poll_after_ms until terminal=true. Only call it clean when verdict=clean, coverage_complete=true, and result_consistent=true; otherwise follow next_action.
Esquema de entrada
{
"type": "object",
"properties": {
"run_id": {
"type": "string",
"format": "uuid",
"description": "The run_id returned by verify_document"
}
},
"required": [
"run_id"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢list_packs
List owned and public packs. Select from available_packs and require readiness.query_ready=true. If none fits, do not guess a pack_id: propose a finite pack plan, ask the user to approve a credit ceiling, then use start_pack_build if approved.
Esquema de entrada
{
"type": "object",
"properties": {},
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢get_pack_coverage(pack_id)
Inspect readiness, source coverage and freshness before high-stakes use. Disclose incomplete or stale coverage. query_ready means usable, minimum_coverage_ready means every measured section has a rule, and fully_strengthened means every measured section is satisfied. fully_ready is legacy-compatible and is not a comprehensiveness claim.
Esquema de entrada
{
"type": "object",
"properties": {
"pack_id": {
"type": "string",
"format": "uuid",
"description": "The Vera pack ID"
}
},
"required": [
"pack_id"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢start_pack_build(pack_id, new_pack, max_credits, max_rounds, idempotency_key)
Start a paid asynchronous pack build after the user explicitly approves max_credits. Supply exactly one of pack_id (an owned AI-buildable pack) or new_pack. The response returns immediately with job_id; poll get_pack_build_status only while active=true. max_credits is a hard ceiling, not a promised final charge. Reuse idempotency_key only for an exact retry.
Esquema de entrada
{
"type": "object",
"properties": {
"pack_id": {
"type": "string",
"format": "uuid",
"description": "An existing owned AI-buildable pack; mutually exclusive with new_pack"
},
"new_pack": {
"type": "object",
"properties": {
"name": {
"type": "string",
"minLength": 1,
"maxLength": 120
},
"intention": {
"type": "string",
"minLength": 10,
"maxLength": 4000,
"description": "The exact finite purpose and coverage the pack must provide"
},
"mode": {
"type": "string",
"enum": [
"legal",
"procurement",
"compliance",
"financial",
"hr",
"academic",
"custom",
"code"
]
},
"jurisdiction": {
"type": "string",
"maxLength": 120
}
},
"required": [
"name",
"intention",
"mode"
],
"additionalProperties": false,
"description": "A new Vera pack to create; mutually exclusive with pack_id"
},
"max_credits": {
"type": "integer",
"minimum": 3,
"maximum": 5000,
"description": "Hard credit ceiling explicitly approved by the user for this build job"
},
"max_rounds": {
"type": "integer",
"minimum": 1,
"maximum": 5,
"default": 3,
"description": "Maximum strengthening rounds; normally 3"
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 200,
"pattern": "^[A-Za-z0-9._:-]+$",
"description": "Required retry key; reuse only for this exact build request"
}
},
"required": [
"max_credits",
"idempotency_key"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢get_pack_build_status(job_id)
Check a durable pack-build job. Poll only while active=true. When stopped, use readiness_summary and present available_actions honestly; a usable budget pause offers use now or a separately approved finite continuation. Never restart merely because the AI client's execution window ended.
Esquema de entrada
{
"type": "object",
"properties": {
"job_id": {
"type": "string",
"format": "uuid",
"description": "The job_id returned by start_pack_build"
}
},
"required": [
"job_id"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Esquema de salida
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}Comunidad
Evidencia