INDIVIDUAL MCP TOOL

server_info

Identity, version, and request limits for this MCP server.

bernstein.runnone authenticationAvailability not checked

LIVE ENDPOINT

https://mcp.bernstein.run/mcp

No auth detected

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

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

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

Codex

~/.codex/config.toml

[mcp_servers.bernstein]
url = "https://mcp.bernstein.run/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "bernstein": {
      "type": "http",
      "url": "https://mcp.bernstein.run/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: bernstein
Remote MCP URL: https://mcp.bernstein.run/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": {
    "bernstein": {
      "url": "https://mcp.bernstein.run/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "bernstein": {
      "type": "http",
      "url": "https://mcp.bernstein.run/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "bernstein",
  "transport": "streamable-http",
  "url": "https://mcp.bernstein.run/mcp"
}

MCP Inspector

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

verify_receipt — Recompute every hash chain a bernstein run receipt embeds (journal, lineage spine, optional audit range), rebuild the signed subject from the recomputed heads, and check the Ed25519 signature with the key the receipt carries.
explain_receipt — Verify a run receipt and narrate the result in plain language: what the run recorded, which chains recomputed, where the first divergence is, and what an auditor can and cannot conclude without the producing install's keys.
verify_chain — Walk bernstein chain rows and recompute every link: journal rows (event_hash), lineage spine entries (entry_hash) or audit events (prev_hmac linkage).
verify_trace_record — TRACE v0.
verify_delegation_chain — TRACE v0.
explain_trace_mapping — How a bernstein run maps onto a TRACE v0.
list_presets — The compliance presets bernstein v3.
get_preset — Every field of one compliance preset as bernstein v3.