vera.ink
Check documents against rules taken from the law itself. Every finding cites the exact clause.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"vera": {
"url": "https://vera-mcp-production.up.railway.app/mcp"
}
}
}リモートエンドポイント
https://vera-mcp-production.up.railway.app/mcpstreamable-httpできること
ツール一覧
ツール（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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"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.
入力スキーマ
{
"type": "object",
"properties": {},
"$schema": "http://json-schema.org/draft-07/schema#"
}出力スキーマ
{
"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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"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.
入力スキーマ
{
"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#"
}出力スキーマ
{
"type": "object",
"properties": {},
"additionalProperties": true,
"$schema": "http://json-schema.org/draft-07/schema#"
}コミュニティ
エビデンス