← The evidence ledger
Evidence row 257168
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 791e7ecd-da29-40f2-9bf0-0a8adcff47a2
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 83d8375d1f1ce068cb6d0e7638990068bd37f1a78f2947cf302e68ee0d5a74b9
- Leaf
- 0x892ce711f9cba85bc34a84b9d6f3c40a65fcd972c9901abee497268a4321763b
What was observed
{
"count": 8,
"tools": [
{
"description": "[한국 공항 실시간 운항정보] 공항 오늘 개요 — 운항량, 상위 항공사·노선, 터미널 분포.\n Airport overview — today's volume, top airlines/routes, terminal split (ICN only).\n Useful for first-time visitors.\n\n Examples:\n - \"What's GMP like?\" → airport_overview(\"GMP\")\n - \"ICN T1 departures\" → airport_overview(\"ICN\", \"T1\") # T1 → P01 자동 변환\n\n Args:\n airport: Airport IATA (e.g. GMP, ICN, CJU)\n terminal: (optional) Terminal ID. ICN 만 의미. 다음 입력 모두 허용:\n - \"T1\"/\"T2\"/\"터미널1\"/\"터미널2\"/\"1\"/\"2\" → 내부적으로 P01/P03 으로 자동 변환\n - \"탑승동\"/\"concourse\" → P02\n - \"P01\"/\"P02\"/\"P03\" 정식 코드 그대로\n ICN 외 공항에선 무시됨.\n lang: Response language 'E' (default) / 'K' / 'C' / 'J'. Match user's language.\n ",
"inputSchema": {
"properties": {
"airport": {
"title": "Airport",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
},
"terminal": {
"default": "",
"title": "Terminal",
"type": "string"
}
},
"required": [
"airport"
],
"title": "airport_overviewArguments",
"type": "object"
},
"name": "airport_overview"
},
{
"description": "[한국 공항 실시간 운항정보] 인천공항편의 코드쉐어 정보 — 마스터편명·파트너편 (ICN 전용).\n Codeshare info for ICN flights — master flight number + codeshare partners.\n ICN-only (other airports don't provide codeshare data).\n\n Examples:\n - \"Is OZ117 a codeshare?\" → codeshare_info(\"OZ117\")\n - \"Master flight of ET1291?\" → codeshare_info(\"ET1291\")\n\n Args:\n flight_id: Flight number (e.g. OZ117, ET1291)\n lang: Response language 'E' (default) / 'K' / 'C' / 'J'. Match user's language.\n ",
"inputSchema": {
"properties": {
"flight_id": {
"title": "Flight Id",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
}
},
"required": [
"flight_id"
],
"title": "codeshare_infoArguments",
"type": "object"
},
"name": "codeshare_info"
},
{
"description": "[한국 공항 실시간 운항정보] 한국 14개 공항의 실시간 출도착 정보를 조회합니다.\n Look up real-time arrival/departure status for 14 Korean airports.\n\n Rendering: every line already carries the gate ('게이트 267' / 'Gate 267'), the\n terminal, and — for departures — the check-in counter ('체크인 A B C D' /\n 'check-in B01-B18'). When you render a table, give the gate AND the check-in\n counter their own columns next to 편명·목적지·시각·상태·터미널 — do not drop them.\n A departing passenger moves check-in → security → gate, so a table without those\n two sends them back to ask again. '-' means not assigned yet; show '-' rather than\n inventing or guessing a gate or counter.\n\n Args:\n airport: Airport IATA (ICN/GMP/PUS/CJU/TAE/CJJ etc., 14 total)\n direction: 'arrival' or 'departure'\n flight_date: date — omit or 'today' for live; 'yesterday'/'YYYY-MM-DD' for snapshot.\n Up to 30 days back. ICN historical data only on dates the nightly\n snapshot ran.\n lang: Response language — 'E' English (default) / 'K' 한국어 / 'C' 中文 / 'J' 日本語.\n MUST be filled to match user's language: 한국어 질문이면 'K', 中文이면 'C',\n 日本語면 'J'. Default 'E' is the safest pivot for any other language.\n ",
"inputSchema": {
"properties": {
"airport": {
"default": "ICN",
"title": "Airport",
"type": "string"
},
"direction": {
"default": "arrival",
"title": "Direction",
"type": "string"
},
"flight_date": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"title": "Flight Date"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
}
},
"title": "get_flight_statusArguments",
"type": "object"
},
"name": "get_flight_status"
},
{
"description": "[한국 공항 실시간 운항정보] 인천공항 입국 도착 정보 (H-2~H+2 시간 윈도우). 편명·도착시간·게이트·입국장(A-F)·내외국인 수.\n Incheon Airport arrival info (H-2~H+2 window). Per-flight schedule/actual time,\n aircraft gate, entry gate (A-F), domestic/foreign passenger counts.\n\n Examples:\n - \"How busy is Incheon T1 arrivals right now?\" → incheon_arrivals(terno=\"T1\")\n - \"Any arrivals from Hanoi?\" → incheon_arrivals(airport=\"HAN\")\n - \"Where is VN416 arriving?\" → incheon_arrivals(flight_id=\"VN416\")\n\n Args:\n terno: Terminal filter — 'T1' / 'T2' / '' (all). Default ''.\n airport: Origin airport IATA filter (e.g., HAN, NRT). Default '' (all).\n flight_id: Specific flight ID filter (e.g., 'VN416'). Default '' (all).\n lang: Response language — 'E' English (default) / 'K' 한국어 / 'C' 中文 / 'J' 日本語.\n MUST match user's language.\n ",
"inputSchema": {
"properties": {
"airport": {
"default": "",
"title": "Airport",
"type": "string"
},
"flight_id": {
"default": "",
"title": "Flight Id",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
},
"terno": {
"default": "",
"title": "Terno",
"type": "string"
}
},
"title": "incheon_arrivalsArguments",
"type": "object"
},
"name": "incheon_arrivals"
},
{
"description": "[한국 공항 실시간 운항정보] 인천공항 출국장 혼잡도 (1분 주기 실시간). 출국장 게이트별 대기인원 + 발생일시.\n Incheon Airport departure hall congestion (1-min real-time). Per-gate wait count.\n T1 (P01) currently available; T2 (P02) coming soon per data.go.kr.\n\n Examples:\n - \"How crowded is Incheon T1 departure right now?\" → incheon_departure_congestion(terminal=\"T1\")\n\n Args:\n terminal: 'T1' (or 'P01') — Terminal 1. 'T2'/'P02' pending data.go.kr release.\n lang: Response language — 'E' (default) / 'K' / 'C' / 'J'. Match user's language.\n ",
"inputSchema": {
"properties": {
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
},
"terminal": {
"default": "T1",
"title": "Terminal",
"type": "string"
}
},
"title": "incheon_departure_congestionArguments",
"type": "object"
},
"name": "incheon_departure_congestion"
},
{
"description": "[한국 공항 실시간 운항정보] 인천공항 입점 상업시설(매장·서비스) 정보 — 약 1,227개. dataset 15095043 (B551177 family).\n Incheon Airport commercial facilities (~1,227 stores/services). Filter by query.\n\n Examples:\n - \"Where is Starbucks at Incheon?\" → incheon_facilities(query=\"Starbucks\")\n - \"면세점 어디 있어?\" → incheon_facilities(query=\"면세점\", lang=\"K\")\n - \"Toilets in departure area?\" → incheon_facilities(query=\"Toilet\", area=\"departure\")\n - \"출국장 음식점\" → incheon_facilities(query=\"식당\", area=\"departure\", lang=\"K\")\n\n Args:\n query: Facility name / item / location filter (case-insensitive partial match). '' = top by area.\n area: 'arrival' (A=입국장) / 'departure' (D=출국장) / '' (all).\n lang: 'E' English (default — uses EN endpoint) / 'K' 한국어 (uses KR endpoint).\n C/J fall back to English.\n ",
"inputSchema": {
"properties": {
"area": {
"default": "",
"title": "Area",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
},
"query": {
"default": "",
"title": "Query",
"type": "string"
}
},
"title": "incheon_facilitiesArguments",
"type": "object"
},
"name": "incheon_facilities"
},
{
"description": "[한국 공항 실시간 운항정보] 두 공항 사이 오늘 운항편을 검색합니다 (양방향, 한쪽은 한국 공항).\n Find today's flights between an origin and a destination airport.\n Bidirectional — at least one side must be a Korean hub.\n\n Examples:\n - \"GMP→CJU schedule\" → search_by_route(\"GMP\", \"CJU\")\n - \"Flights from Vancouver to Incheon\" → search_by_route(\"YVR\", \"ICN\")\n - \"ICN→Narita flights\" → search_by_route(\"ICN\", \"NRT\")\n\n Args:\n origin: Origin airport IATA (e.g. GMP, ICN, YVR)\n destination: Destination airport IATA (e.g. CJU, NRT, ICN)\n lang: Response language 'E' (default) / 'K' / 'C' / 'J'. Match user's language.\n ",
"inputSchema": {
"properties": {
"destination": {
"title": "Destination",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
},
"origin": {
"title": "Origin",
"type": "string"
}
},
"required": [
"origin",
"destination"
],
"title": "search_by_routeArguments",
"type": "object"
},
"name": "search_by_route"
},
{
"description": "[한국 공항 실시간 운항정보] 편명을 추적해 예정/변경 시각, 게이트, 수취대, 상태를 알려줍니다. (픽업에 유용)\n Track a flight — scheduled/estimated times, gate, baggage carousel, status.\n Carousel is critical for airport pickup.\n\n Examples:\n - \"Is KE093 delayed?\" → track_my_flight(\"KE093\")\n - \"7C166 arrival time & carousel\" → track_my_flight(\"7C166\")\n - \"BX804F departure gate\" → track_my_flight(\"BX804F\", \"GMP\")\n\n Args:\n flight_id: Flight number (e.g. KE093, 7C166, BX804F)\n hub_airport: Hub airport IATA. If known, narrows search. Empty triggers\n 30-day snapshot DB lookup → falls back to 4-hub fan-out.\n lang: Response language 'E' (default) / 'K' / 'C' / 'J'. Match user's language.\n ",
"inputSchema": {
"properties": {
"flight_id": {
"title": "Flight Id",
"type": "string"
},
"hub_airport": {
"default": "",
"title": "Hub Airport",
"type": "string"
},
"lang": {
"default": "E",
"title": "Lang",
"type": "string"
}
},
"required": [
"flight_id"
],
"title": "track_my_flightArguments",
"type": "object"
},
"name": "track_my_flight"
}
]
}What the leaf hashes
{"body":"83d8375d1f1ce068cb6d0e7638990068bd37f1a78f2947cf302e68ee0d5a74b9","id":257168,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793029552287807,"prev":null,"subject":"791e7ecd-da29-40f2-9bf0-0a8adcff47a2","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (296695 rows).
- 0x892c5e00a1ad336c1e8a9092b81ed6dc9258e5557be570dbed506ffd1efde27c
- 0xdfb29d745fb35999a3945bc1ccfc6420b8ee2682ae51803d7a2e7078bb09a227
- 0x4b91f2d42719eec168590aca07b9648d9d81db61144485c360105fdf3c69c524
- 0x26ce2d94aab81fc1081e8a882a12c46c4dfb98b8ded6e26cd345428f5b347e87
- 0x7f74198ab9bf5b9bf0fc85c9920743a61bb832282a2d6ea020536c7a139a8da7
- 0x62d1792449231321453ad62af51e8bfc3c2cc01530e4c73a689a6c59224d0af5
- 0x35fce9bd34523cef37cefd49bf35a35611f346869eddaac20e08a94bb24de1ae
- 0x06bf5c8d1f429e7f7802d69f068a8e5a30602d676a3d96531603614fed09c365
- 0x00e68f9c46b0f141c7ad95897ef8972e0da00f0b638ec98c8542cf0bb4478e6a
- 0xed8c683cc2523b6faaf9567b2bca065f0b0b5a96cb16dc02a32ff230916396f8
- 0xfb2bf7248df06c668bce5c2fce26586eb8982728138c40f164c1666cb3e32d7b
- 0x7bf2d426bb827b94d7608055662cf2e3f09791e1a4c2c6bd606c0a9e89b18e59
- 0x49d11be052a4c069b10250aaba214f566b3f2e5aaa7a98e82ccc6a71c0e801a0
- 0x78ac2b34737774659a6a411f4d10b8ba570d40699d9f277321c3a32ff03d1dc9
- 0x7eb603d37f0f22dae1ea013e391889906ffc0139ff26e25b044bee38eec8f9b2
- 0x2b6e23e3624a1b66e1d2298cfbce99a93ce6b13d24a58112a71802d79c5f7a76
- 0xd21942ae3214eff88e08ab04884fd4b11958b51af9a0741b7668e2d07a2c56c9
- 0x9a9024edb5069d88a324facb310a5ce8e495214bbaa968f077bede437390194f
- 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a
- Day root
- 0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8
- Chained
- 0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a
- Published
- On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae