← The evidence ledger
Evidence row 579922
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 01485fa9-acad-4008-ac23-5cc11ca97c01
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- b5ea1002cc33f26cea2343a11e29bb14f32d4b845f8a4ad43c94d2e694015639
- Leaf
- 0x743a5dad7f9b83cb5404d8d91d649d8fcb4a370722bf620dbccd38a8431fed90
What was observed
{
"count": 16,
"tools": [
{
"description": "Find transit routes near a location, optionally filtered by name or number. Returns routes with IDs, short names, and descriptions. Use routeId values to fetch schedules, vehicles, or stop sequences.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"lat": {
"description": "Latitude of the search center, in [-90, 90].",
"maximum": 90,
"minimum": -90,
"type": "number"
},
"latSpan": {
"description": "Optional bounding-box height in degrees, as an alternative to radius. Takes effect only when lonSpan is also set, in which case radius is ignored.",
"exclusiveMinimum": 0,
"type": "number"
},
"lon": {
"description": "Longitude of the search center, in [-180, 180].",
"maximum": 180,
"minimum": -180,
"type": "number"
},
"lonSpan": {
"description": "Optional bounding-box width in degrees, as an alternative to radius. Takes effect only when latSpan is also set, in which case radius is ignored.",
"exclusiveMinimum": 0,
"type": "number"
},
"query": {
"description": "Filter by route name or number (e.g. \"44\" or \"Link Light Rail\").",
"type": "string"
},
"radius": {
"default": 500,
"description": "Search radius in meters. Must be positive; capped at 1600m. Defaults to 500m. Ignored when latSpan and lonSpan are both set.",
"exclusiveMinimum": 0,
"maximum": 1600,
"type": "number"
}
},
"required": [
"lat",
"lon"
],
"type": "object"
},
"name": "onebusaway_find_routes"
},
{
"description": "Find bus stops near a location. Returns stops within a radius, each with ID, name, direction, served routes, and wheelchair boarding status. Use stopId values from results to fetch real-time arrivals with onebusaway_get_arrivals. Optionally filter by stop code (the number printed on the stop sign, e.g. \"75403\").",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"lat": {
"description": "Latitude of the search center, in [-90, 90].",
"maximum": 90,
"minimum": -90,
"type": "number"
},
"lon": {
"description": "Longitude of the search center, in [-180, 180].",
"maximum": 180,
"minimum": -180,
"type": "number"
},
"query": {
"description": "Optional stop code filter (the number printed on the stop sign, e.g. \"75403\"). When provided, returns only stops matching this code within the radius.",
"type": "string"
},
"radius": {
"default": 300,
"description": "Search radius in meters. Must be positive; capped at 1600m, beyond which results degrade. Defaults to 300m.",
"exclusiveMinimum": 0,
"maximum": 1600,
"type": "number"
}
},
"required": [
"lat",
"lon"
],
"type": "object"
},
"name": "onebusaway_find_stops"
},
{
"description": "Fetch full detail for a service alert (situation) by ID. Returns the summary, description, reason (e.g. detour, construction), affected stops and routes, consequence description, and active time windows. Situation IDs appear in onebusaway_get_arrivals responses under situationIds and situations[].id.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"situationId": {
"description": "Situation/alert ID from onebusaway_get_arrivals (situations[].id or arrivals[].situationIds[]).",
"minLength": 1,
"type": "string"
}
},
"required": [
"situationId"
],
"type": "object"
},
"name": "onebusaway_get_alert"
},
{
"description": "Real-time arrivals and departures at a stop. Returns predicted arrival times, schedule deviation (how many seconds late/early), vehicle positions, and any active service alerts. The predicted boolean on each arrival indicates whether GPS tracking backs the estimate — predicted=false means schedule-only. Use tripId from results for follow-up onebusaway_get_trip calls. Stop IDs use agency-prefixed format: {agencyId}_{localId} (e.g. \"1_75403\").",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"minutesAfter": {
"default": 35,
"description": "Include arrivals expected within the next N minutes — an integer from 0 to 240. Defaults to 35. For a longer horizon, use onebusaway_get_schedule_for_stop.",
"maximum": 240,
"minimum": 0,
"type": "integer"
},
"minutesBefore": {
"default": 5,
"description": "Include arrivals that departed up to this many minutes ago — an integer from 0 to 60. Defaults to 5.",
"maximum": 60,
"minimum": 0,
"type": "integer"
},
"stopId": {
"description": "Agency-prefixed stop ID (e.g. \"1_75403\" for Metro Transit stop 75403). Use onebusaway_find_stops or onebusaway_search_stops to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"stopId"
],
"type": "object"
},
"name": "onebusaway_get_arrivals"
},
{
"description": "Fetch block trip sequences with their stop times and service-calendar conditions. Top-level fields describe the first returned configuration; every remaining alternative is included without choosing a calendar date. Optionally select an exact tripId or complete trips having any departure in a half-open GTFS-seconds interval, independently in every configuration; selection counts trip occurrences before and after filtering. Without selectors, returns all trips with no default cap. Block IDs appear as blockId in onebusaway_get_trip responses; obtain a tripId from onebusaway_get_arrivals first.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"blockId": {
"description": "Block ID from a trip record. Obtain a tripId from onebusaway_get_arrivals, then call onebusaway_get_trip to get the blockId.",
"minLength": 1,
"type": "string"
},
"departureBeforeSec": {
"description": "Exclusive departure upper bound in GTFS seconds from midnight; must exceed departureFromSec when both are supplied.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"departureFromSec": {
"description": "Inclusive departure lower bound in GTFS seconds from midnight; values beyond 86400 are valid.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"tripId": {
"description": "Exact trip ID; omit or leave blank for no trip selector. Mutually exclusive with departure bounds.",
"type": "string"
}
},
"required": [
"blockId"
],
"type": "object"
},
"name": "onebusaway_get_block"
},
{
"description": "Fetch details for a specific route by ID. Returns short name, description, agency, route type, and schedule URL. Route IDs use agency-prefixed format: {agencyId}_{localId} (e.g. \"1_100259\").",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"routeId": {
"description": "Agency-prefixed route ID (e.g. \"1_100259\"). Use onebusaway_find_routes or onebusaway_search_routes to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"routeId"
],
"type": "object"
},
"name": "onebusaway_get_route"
},
{
"description": "Full-day schedule for a route — all trips, stop sequences, and departure times for the specified date (defaults to today). Optionally select an exact tripId or complete trips having any departure in a half-open GTFS-seconds interval; selection includes counts before and after filtering. Without selectors, returns all mapped trips with no default cap. For live predictions, use onebusaway_get_arrivals at specific stops instead.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"date": {
"anyOf": [
{
"const": "",
"type": "string"
},
{
"description": "A real calendar date in YYYY-MM-DD form (e.g. \"2026-05-23\").",
"format": "date",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
"type": "string"
}
],
"description": "Service date as YYYY-MM-DD (e.g. \"2026-05-23\"). Must be a real calendar date. Omit or leave blank for today."
},
"departureBeforeSec": {
"description": "Exclusive departure upper bound in GTFS seconds from midnight; must exceed departureFromSec when both are supplied.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"departureFromSec": {
"description": "Inclusive departure lower bound in GTFS seconds from midnight; values beyond 86400 are valid.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"routeId": {
"description": "Agency-prefixed route ID (e.g. \"1_100259\"). Use onebusaway_find_routes or onebusaway_search_routes to discover IDs.",
"minLength": 1,
"type": "string"
},
"tripId": {
"description": "Exact trip ID; omit or leave blank for no trip selector. Mutually exclusive with departure bounds.",
"type": "string"
}
},
"required": [
"routeId"
],
"type": "object"
},
"name": "onebusaway_get_schedule_for_route"
},
{
"description": "Full-day departure schedule for a stop. Lists every departure by route and direction for the specified date (defaults to today). Optionally filter departure rows by routeId and a half-open Unix-millisecond interval; selection includes counts before and after filtering. Without selectors, returns the complete mapped schedule with no default cap. For live predictions, use onebusaway_get_arrivals instead.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"date": {
"anyOf": [
{
"const": "",
"type": "string"
},
{
"description": "A real calendar date in YYYY-MM-DD form (e.g. \"2026-05-23\").",
"format": "date",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
"type": "string"
}
],
"description": "Service date as YYYY-MM-DD (e.g. \"2026-05-23\"). Must be a real calendar date. Omit or leave blank for today in the agency's timezone."
},
"departureBeforeMs": {
"description": "Exclusive departure upper bound in Unix milliseconds; must exceed departureFromMs when both are supplied.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"departureFromMs": {
"description": "Inclusive departure lower bound in Unix milliseconds.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"routeId": {
"description": "Exact route ID, combined with departure bounds; omit or leave blank for all routes.",
"type": "string"
},
"stopId": {
"description": "Agency-prefixed stop ID (e.g. \"1_75403\"). Use onebusaway_find_stops or onebusaway_search_stops to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"stopId"
],
"type": "object"
},
"name": "onebusaway_get_schedule_for_stop"
},
{
"description": "Fetch details for a specific stop by ID. Returns the stop's name, coordinates, direction, served routes, and wheelchair accessibility. Stop IDs use agency-prefixed format: {agencyId}_{localId} (e.g. \"1_75403\" for Metro Transit stop 75403).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"stopId": {
"description": "Agency-prefixed stop ID (e.g. \"1_75403\" for Metro Transit stop 75403, \"40_100239\" for Sound Transit). Use onebusaway_find_stops or onebusaway_search_stops to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"stopId"
],
"type": "object"
},
"name": "onebusaway_get_stop"
},
{
"description": "Everything happening at a stop in one call: the stop's details, its real-time arrivals, and full detail for every service alert on the stop or on any arrival in the window. Returns what onebusaway_get_stop, onebusaway_get_arrivals, and one onebusaway_get_alert call per alert would, from a single upstream request — arrivals in the onebusaway_get_arrivals shape, alerts in the onebusaway_get_alert shape. The stop omits its served-route list; use onebusaway_get_stop for routeIds. Stop IDs use agency-prefixed format: {agencyId}_{localId} (e.g. \"1_75403\").",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"minutesAfter": {
"default": 35,
"description": "Include arrivals expected within the next N minutes — an integer from 0 to 240. Defaults to 35. For a longer horizon, use onebusaway_get_schedule_for_stop.",
"maximum": 240,
"minimum": 0,
"type": "integer"
},
"minutesBefore": {
"default": 5,
"description": "Include arrivals that departed up to this many minutes ago — an integer from 0 to 60. Defaults to 5.",
"maximum": 60,
"minimum": 0,
"type": "integer"
},
"stopId": {
"description": "Agency-prefixed stop ID (e.g. \"1_75403\" for Metro Transit stop 75403). Use onebusaway_find_stops or onebusaway_search_stops to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"stopId"
],
"type": "object"
},
"name": "onebusaway_get_stop_context"
},
{
"description": "Real-time status and stop sequence for a trip. Returns vehicle position, schedule deviation, current phase, and remaining stops. Use tripId from onebusaway_get_arrivals to look up a specific vehicle's progress.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"includeSchedule": {
"default": true,
"description": "Whether to include the full stop sequence with times. Defaults to true.",
"type": "boolean"
},
"serviceDateMs": {
"description": "Service date as Unix milliseconds (midnight local time) — a non-negative integer. Only needed for trips from a previous service day. Omit to use today.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"tripId": {
"description": "Trip ID from an arrivals response or schedule lookup.",
"minLength": 1,
"type": "string"
}
},
"required": [
"tripId"
],
"type": "object"
},
"name": "onebusaway_get_trip"
},
{
"description": "Real-time positions of active vehicles for an agency. Optionally filter to a single route (client-side). Returns GPS coordinates, counter-clockwise orientation from east, schedule deviation, and current trip. Reports agency records omitted for missing position coordinates. Use agencyId values from onebusaway_list_agencies.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"agencyId": {
"description": "Agency ID (e.g. \"1\" for Metro Transit, \"40\" for Sound Transit). Use onebusaway_list_agencies to discover IDs.",
"minLength": 1,
"type": "string"
},
"routeId": {
"description": "Optional agency-prefixed route ID to filter results to one route. Filtering is client-side — all agency vehicles are fetched first.",
"type": "string"
}
},
"required": [
"agencyId"
],
"type": "object"
},
"name": "onebusaway_get_vehicles"
},
{
"description": "List all transit agencies served by this OneBusAway instance. Returns agency IDs, names, contact info, timezone, and geographic coverage center. Agency IDs are needed for onebusaway_list_routes_for_agency and onebusaway_get_vehicles.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "onebusaway_list_agencies"
},
{
"description": "List all routes operated by an agency. Returns route IDs, short names, and descriptions. Use to enumerate an agency's full service before searching for a specific route. Get agencyId values from onebusaway_list_agencies.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"agencyId": {
"description": "Agency ID (e.g. \"1\" for Metro Transit, \"40\" for Sound Transit). Use onebusaway_list_agencies to discover IDs.",
"minLength": 1,
"type": "string"
}
},
"required": [
"agencyId"
],
"type": "object"
},
"name": "onebusaway_list_routes_for_agency"
},
{
"description": "Search for routes by name or number. Returns matching routes with IDs. Use to resolve a route short name (e.g. \"44\") to a route ID for schedule or vehicle lookups with onebusaway_get_vehicles or onebusaway_get_schedule_for_route.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"maxCount": {
"default": 10,
"description": "Maximum number of results to return. A positive integer, at most 100. Defaults to 10.",
"exclusiveMinimum": 0,
"maximum": 100,
"type": "integer"
},
"query": {
"description": "Route name or number (e.g. \"44\", \"Link\", or \"RapidRide\").",
"minLength": 1,
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "onebusaway_search_routes"
},
{
"description": "Search for stops by name or code. Returns matching stops with IDs and coordinates. Use to resolve a human-readable stop name or number to a stop ID for arrivals lookups with onebusaway_get_arrivals.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"additionalProperties": false,
"properties": {
"maxCount": {
"default": 10,
"description": "Maximum number of results to return. A positive integer, at most 100. Defaults to 10.",
"exclusiveMinimum": 0,
"maximum": 100,
"type": "integer"
},
"query": {
"description": "Stop name fragment or stop code (e.g. \"University Way\" or \"75403\").",
"minLength": 1,
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "onebusaway_search_stops"
}
]
}What the leaf hashes
{"body":"b5ea1002cc33f26cea2343a11e29bb14f32d4b845f8a4ad43c94d2e694015639","id":579922,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793143571646736,"prev":null,"subject":"01485fa9-acad-4008-ac23-5cc11ca97c01","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (273461 rows).
- 0x743a96a222277f774422dfad9381012a84a6ce99bb948fc5f2d71de611d2fe1f
- 0x53be850a74dca47e5816db7dd15a96db8ce39986e4aebd0675a019d539d9145b
- 0x0acabe98df8ba2754c08b1383a43b948bda0684e77567c6b7c8b2d731b88bec9
- 0x77281db6e4315cc3aadf7dc17a0c6b643cfaa0538f6f1f1b56afbd252f2ff86e
- 0x510faf2417811e4635f65cbf340555e09d886ff1e1242b8c195d15e703456ce8
- 0xd426e66a3ab05b069e63f395cfe81fcfcddd9993066de4d05d29a05ade98bbca
- 0x1fa4b4febbf2e97960e9b105429b73ed40d3ba80faee85a143ff0cf8c7cf09b8
- 0xdb2917ea2967ad652e6f00e6f72e45647f488bf279676b09a91f52568e4b19d0
- 0x46b7c28b01d7af0d32cc14b994f8d97384f0c739e179d9927629ef1ee652003d
- 0xf7183cba9cd67699064b26ea6acbfa032bf68cacd6fd90929c591383c8d3d989
- 0x87d9722f6144a6bdbc601abce8aa277e4125cc680211131dcb21639e43daeffd
- 0x58a1b7d7965722efb70d69acfb10b39e77f817864b8d4b4069d33ff29884a3bd
- 0x4094bd5bc2ab60e4518d1ee8a13455a69d7484ea62ecdca2618d0f39d3403503
- 0x9848c068b1371232529d2b5738fdc45b854c57da041b69ea7c9e112b14e2d9d1
- 0x275720ecabb68df33eee92ae4fd70572a8d952d6c61c061c2869cfc3217aa5c5
- 0x23cf9bb4337ee8be7fcae368fd69d24c62c11fb45882127b4cd919bb96a19996
- 0x0e01aa9525097570a6edaf32bfc959de57bf5c24317cf10c0716affea85ca60d
- 0xa20d48798a34aba12eb9c7297722982d910f06c148f5e27ac59307422964a585
- 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
- Day root
- 0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
- Chained
- 0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
- Published
- On Arc Testnet, block 69414147: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4