Server definition
- Hash
- sha256:5c70fbda5f89e707855a7a2ad8fb7803d38e6b0e81467f6842969fe9cec1dcd9
- What it is
- What a remote MCP server returned when asked what it offers: 7 tools
The blob, as servednamed by its sha256
{
"instructions": "Use Vera as an evidence layer, not as a source of uncited guesses.\n1. Call list_packs before choosing a pack. Select from available_packs and only use a pack whose readiness.query_ready is true.\n2. If no relevant query-ready pack exists, do not invent a pack_id and do not run query_pack or verify_document. Propose a concise finite pack plan: name, intended check, authoritative source types, jurisdiction, and version/date requirements. Ask whether the user wants Vera to build it.\n3. Never call start_pack_build until the user explicitly approves a specific max_credits integer for that exact pack plan. Explain that it is a hard ceiling, not an estimate or guaranteed charge; work can stop earlier. At current pricing a cap below 28 may pause before one planning/discovery/extraction cycle completes. Do not infer approval from a general request to check a document.\n4. start_pack_build requires exactly one of pack_id or new_pack and a unique idempotency_key. Reuse that key only for an exact retry. Poll get_pack_build_status using poll_after_ms only while active=true. Stop when terminal=true or requires_action=true. If your execution window ends, report job_id and resume status polling later; never restart the build merely because polling was interrupted.\n5. Read readiness_summary literally: usable_now means the pack can be queried; minimum_coverage_ready means each measured section has at least one locked rule; build_finished means this funded job completed. To claim fully_strengthened, call get_pack_coverage and require readiness.fully_strengthened=true. Never use fully_ready, build_finished, or another signal as a substitute.\n6. When requires_action=true, present available_actions without implying that more spending is required. A usable budget-paused pack offers exactly two choices: use_pack now, or start_new_job_with_additional_budget after explicit approval. Never spend automatically.\n7. When a build completes with next_action=use_pack, use its pack_id directly or call list_packs again, then continue the user's original task. Clearly explain any budget, credit, or source requirement without claiming unfinished work is complete.\n8. For high-stakes work, call get_pack_coverage before relying on a pack. Disclose incomplete coverage or stale sources.\n9. Use query_pack to retrieve exact locked rules before drafting. Keep Vera's verified quote and citation distinct from your own inference.\n10. verify_document requires an idempotency_key. Reuse the same key only for an exact retry; use a new key whenever the pack, document, or mode changes. Poll get_verification_status using poll_after_ms until terminal is true.\n11. Never describe a verification as clean unless the terminal response says verdict=clean, coverage_complete=true, and result_consistent=true. Follow next_action for every other verdict.",
"tools": [
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"job_id": {
"description": "The job_id returned by start_pack_build",
"format": "uuid",
"type": "string"
}
},
"required": [
"job_id"
],
"type": "object"
},
"name": "get_pack_build_status",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"pack_id": {
"description": "The Vera pack ID",
"format": "uuid",
"type": "string"
}
},
"required": [
"pack_id"
],
"type": "object"
},
"name": "get_pack_coverage",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"run_id": {
"description": "The run_id returned by verify_document",
"format": "uuid",
"type": "string"
}
},
"required": [
"run_id"
],
"type": "object"
},
"name": "get_verification_status",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {},
"type": "object"
},
"name": "list_packs",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"pack_id": {
"description": "The Vera pack ID (from list_packs)",
"format": "uuid",
"type": "string"
},
"question": {
"description": "The question to ask",
"maxLength": 2000,
"minLength": 3,
"type": "string"
}
},
"required": [
"pack_id",
"question"
],
"type": "object"
},
"name": "query_pack",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"idempotency_key": {
"description": "Required retry key; reuse only for this exact build request",
"maxLength": 200,
"minLength": 8,
"pattern": "^[A-Za-z0-9._:-]+$",
"type": "string"
},
"max_credits": {
"description": "Hard credit ceiling explicitly approved by the user for this build job",
"maximum": 5000,
"minimum": 3,
"type": "integer"
},
"max_rounds": {
"default": 3,
"description": "Maximum strengthening rounds; normally 3",
"maximum": 5,
"minimum": 1,
"type": "integer"
},
"new_pack": {
"additionalProperties": false,
"description": "A new Vera pack to create; mutually exclusive with pack_id",
"properties": {
"intention": {
"description": "The exact finite purpose and coverage the pack must provide",
"maxLength": 4000,
"minLength": 10,
"type": "string"
},
"jurisdiction": {
"maxLength": 120,
"type": "string"
},
"mode": {
"enum": [
"legal",
"procurement",
"compliance",
"financial",
"hr",
"academic",
"custom",
"code"
],
"type": "string"
},
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
}
},
"required": [
"name",
"intention",
"mode"
],
"type": "object"
},
"pack_id": {
"description": "An existing owned AI-buildable pack; mutually exclusive with new_pack",
"format": "uuid",
"type": "string"
}
},
"required": [
"max_credits",
"idempotency_key"
],
"type": "object"
},
"name": "start_pack_build",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"document_text": {
"description": "The full document text; whitespace does not count toward the minimum",
"maxLength": 500000,
"type": "string"
},
"idempotency_key": {
"description": "Required retry key. Reuse only for this exact pack, document, and mode.",
"maxLength": 200,
"minLength": 8,
"pattern": "^[A-Za-z0-9._:-]+$",
"type": "string"
},
"mode": {
"description": "Optional mode override; normally omit this",
"enum": [
"legal",
"procurement",
"compliance",
"financial",
"hr",
"academic",
"custom",
"code"
],
"type": "string"
},
"pack_id": {
"description": "The Vera pack ID to verify against",
"format": "uuid",
"type": "string"
}
},
"required": [
"pack_id",
"document_text",
"idempotency_key"
],
"type": "object"
},
"name": "verify_document",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": true,
"properties": {},
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:5c70fbda5f89e707855a7a2ad8fb7803d38e6b0e81467f6842969fe9cec1dcd9 | sha256sum