INDIVIDUAL MCP TOOL

verify_proof

Look up one identifier (chunk_id, proof_id, match_id, transfer id, or a BSV txid) in ENYAL's public verify lookup — no auth.

greenlandai.ainone authenticationAvailability not checked

LIVE ENDPOINT

https://mcp.greenlandai.ai/mcp

No auth detected

Connect to this endpoint to inspect the live schema for verify_proof 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.greenlandai]
url = "https://mcp.greenlandai.ai/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "greenlandai": {
      "type": "http",
      "url": "https://mcp.greenlandai.ai/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

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

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "greenlandai": {
      "type": "http",
      "url": "https://mcp.greenlandai.ai/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "greenlandai",
  "transport": "streamable-http",
  "url": "https://mcp.greenlandai.ai/mcp"
}

MCP Inspector

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

look_from — Map lane: companies/infrastructure near a point (lat/lng + radius_km) or anchored on one entity `id`.
hops — Graph lane: labelled relationship hops between companies/entities (ownership, operates, supplies, …).
nearby — Entities near a location (the primitive `look_from` builds on).
mapdata — Map dataset (GET /mapdata).
map_viewport — Map lane: everything inside a bounding box — THE SCREEN (relays GET /api/v1/map.
company — One company's record and graph neighbourhood by id.
market_listings — Browse the RAREEAI marketplace: kind="providers" (listings) or "oracles".
market_match — Read one marketplace match by id, including its `escrow_terms` and this trade's typed fee/timeout fields.