ink.vera/vera

up checked 2026-11-11T15:37:36.415Z

Unclaimed · Unverified

Publisher-provided title

vera.ink

Publisher-provided description

Check documents against rules taken from the law itself. Every finding cites the exact clause.

Summary by lookupd

Checks documents against legal rules from locked packs and returns findings that cite the exact clauses, with coverage status.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http vera https://vera-mcp-production.up.railway.app/mcp

Codex, remote (streamable-http)

codex mcp add vera --url https://vera-mcp-production.up.railway.app/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "vera": {
      "url": "https://vera-mcp-production.up.railway.app/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Publisher-provided text

query_pack Retrieve the best matching locked rules and exact evidence from a query-ready Vera pack. This costs credits. Preserve each verified quote and citation, distingu
verify_document 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 mo
get_verification_status 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
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 pla
get_pack_coverage Inspect readiness, source coverage and freshness before high-stakes use. Disclose incomplete or stale coverage. query_ready means usable, minimum_coverage_ready
start_pack_build 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
get_pack_build_status 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 o

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/ink.vera/vera.svg)](https://lookupd.com/servers/ink.vera/vera)