vera.ink

Connect Remote server

claude mcp add --transport http vera https://vera-mcp-production.up.railway.app/mcp --header "Authorization: Bearer <YOUR_API_KEY>"

{
  "mcpServers": {
    "vera": {
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

{
  "servers": {
    "vera": {
      "type": "http",
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://vera-mcp-production.up.railway.app/mcp

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools 7 found in our last check

• 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, distinguish them from your inference, and treat coverage=none as no answer.

• 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 mode. Poll get_verification_status until terminal=true.

• 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 next_action.

• 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.

• 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 means every measured section has a rule, and fully_strengthened means every measured section is satisfied. fully_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 response returns immediately with job_id; poll get_pack_build_status only while active=true. max_credits is a hard cei…

• 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 offers use now or a separately approved finite continuation. Never restart merely because the AI client's execution wind…

Headers

Details

More files and documents servers See all

• Нишка – отворен слой

  Checked Bulgarian public-service facts, legal deadlines and official documents, with sources.

• Craft Quantities: construction material calculators

  Construction quantities from cited calculators, takeoffs, planners, drawings, cut plans. No prices.

• step2gcode

  Turn STEP, DXF and SVG files into CNC milling and laser G-code for GRBL, LinuxCNC, Mach3 and more.

• StickerByVIN

  Check whether a car's original window sticker (Monroney label) is on file for a VIN, plus recalls.

• BDK Native

  Turn a web app from Lovable, Bolt, Replit, Base44, Bubble or any stack into iOS and Android apps.

• Unique.domains

  Domain status, WHOIS records, nine registrars' daily prices, renewal traps and auctions. No key.