Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

{
  "mcpServers": {
    "vera": {
      "type": "http",
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "headers": {
        "Authorization": "Bearer ${VERA_TOKEN}"
      }
    }
  }
}

claude mcp add --transport http vera https://vera-mcp-production.up.railway.app/mcp --header "Authorization: Bearer ${VERA_TOKEN}"

[mcp_servers.vera]
url = "https://vera-mcp-production.up.railway.app/mcp"
bearer_token_env_var = "VERA_TOKEN"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "vera": {
      "type": "remote",
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "enabled": true,
      "headers": {
        "Authorization": "Bearer {env:VERA_TOKEN}"
      }
    }
  }
}

{
  "mcpServers": {
    "vera": {
      "type": "http",
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "headers": {
        "Authorization": "Bearer ${VERA_TOKEN}"
      }
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=vera&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vdmVyYS1tY3AtcHJvZHVjdGlvbi51cC5yYWlsd2F5LmFwcC9tY3AiLCJoZWFkZXJzIjp7IkF1dGhvcml6YXRpb24iOiJCZWFyZXIgJHtWRVJBX1RPS0VOfSJ9fQ%3D%3D"
}

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

{
  "mcpServers": {
    "vera": {
      "httpUrl": "https://vera-mcp-production.up.railway.app/mcp",
      "headers": {
        "Authorization": "Bearer ${VERA_TOKEN}"
      }
    }
  }
}

extensions:
  "vera":
    enabled: true
    name: "vera"
    type: streamable_http
    uri: "https://vera-mcp-production.up.railway.app/mcp"
    headers:
      "Authorization": "Bearer ${VERA_TOKEN}"
    timeout: 300

Placeholders to fill from your own secret store: ${VERA_TOKEN}. The registry never accepts secret values.

Quality 91 / 100strong

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene100 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
pass
tools.annotations7 of 7 tools declare readOnlyHint or destructiveHint
pass
tools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
pass
tools.token_costabout 1,428 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

7 tools, about 1,428 tokens to load them all · tool set 2ea35dfabb22 · checked 2026-10-20 01:29 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 83 / 100

no-repository

provenance55

liveness100

freshness100

hygiene80

+dns-namespace +website +reachable +uptime-100% +updated-21d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://vera-mcp-production.up.railway.app/mcp` streamable-http	api_key `${VERA_TOKEN}`	yes	100%	254 ms	2025-11-25	2026-10-19

Tools (7)

`get_pack_build_status`read-only	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.
`get_pack_coverage`read-only	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.
`get_verification_status`read-only	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`read-only	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.
`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.
`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 ceiling, not a promised final charge. Reuse idempotency_key only for an exact retry.
`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.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "ink.vera/vera",
  "title": "vera.ink",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://vera-mcp-production.up.railway.app/mcp",
      "type": "streamable-http",
      "headers": [
        {
          "name": "Authorization",
          "isSecret": true,
          "isRequired": true,
          "description": "Bearer vk_YOUR_KEY. Create a key at https://vera.ink/api-keys"
        }
      ]
    }
  ],
  "version": "1.2.1",
  "websiteUrl": "https://vera.ink/developers",
  "description": "Check documents against rules taken from the law itself. Every finding cites the exact clause."
}