INDIVIDUAL MCP TOOL

get_verification_status

Poll a run using poll_after_ms until terminal=true.

vera.inknone authenticationAvailability not checked

LIVE ENDPOINT

https://vera-mcp-production.up.railway.app/mcp

No auth detected

Connect to this endpoint to inspect the live schema for get_verification_status and invoke it with your own arguments.

{}

Potential side effects detected · medium confidence · heuristic, not a guarantee.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

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

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: vera-mcp
Remote MCP URL: https://vera-mcp-production.up.railway.app/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

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

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "vera-mcp": {
      "type": "http",
      "url": "https://vera-mcp-production.up.railway.app/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "vera-mcp",
  "transport": "streamable-http",
  "url": "https://vera-mcp-production.up.railway.app/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

query_pack — Retrieve the best matching locked rules and exact evidence from a query-ready Vera pack.
verify_document — Start a paid, asynchronous check against a query-ready pack.
list_packs — List owned and public packs.
get_pack_coverage — Inspect readiness, source coverage and freshness before high-stakes use.
start_pack_build — Start a paid asynchronous pack build after the user explicitly approves max_credits.
get_pack_build_status — Check a durable pack-build job.