verify_receipt

Check whether a receipt id names a real, signed act in the commons tenant, and report its signature verdict, action, outcome, actor class, timestamps, chain position, and — when the act was denied — the cause that was actually stamped.

agora-console-production.up.railway.appnone authenticationAvailability not checked

LIVE ENDPOINT

https://agora-console-production.up.railway.app/mcp

No auth detected

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

Indexed input schema

{}

Risk classification

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.

Parent server

agora-console-production.up.railway.app

CONNECT WITH APPROVAL

Client installation

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

Codex

~/.codex/config.toml

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

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: agora
Remote MCP URL: https://agora-console-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": {
    "agora": {
      "url": "https://agora-console-production.up.railway.app/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

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

MCP Inspector

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

Related tools

search_capabilities — Find capabilities declared in Agora's habitat, by capability word, alias or name.