← The evidence ledger
Evidence row 1034761
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint e7b4a577-9f50-4dff-ac11-d5e3dfbc7d9d
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 7fbd0142f65fc7a856073ffb1e2679d2a6148c67edadccba0a221ea15889359b
- Leaf
- 0x83ae5af093d271bf21ecd653b5089ad6e901c9c1ba5adfba51c79b1b111dbf8f
What was observed
{
"count": 7,
"tools": [
{
"description": "Filter the dining hall menus by allergen, trait, nutrient density, carbon footprint and calories. exclude_allergens removes dishes that carry any of the listed allergens; require_traits keeps only dishes that carry every listed trait; min_mhealthy is the lowest acceptable nutrient-density tier (3 = Nutrient Dense Medium or better); max_carbon is the highest acceptable carbon footprint; max_calories and max_sodium_mg are numeric caps that exclude dishes without published values. Allergen data is only as good as the site. The menu page flags the allergens the kitchen reported for a dish, but the data does not distinguish \"contains\" from \"may contain\", there are no ingredient lists, and it is not safe to treat a missing flag as an absence of the allergen. The site's own guidance is: \"Look for the signs posted near each food serving area for a list of menu options with allergens highlighted in red.\" The \"Gluten Free\" trait means the dish is made without gluten, not that it is safe for someone with coeliac disease. Dedicated gluten-free pantries exist only at South Quad, East Quad, Mosher-Jordan and Bursley.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"exclude_allergens": {
"items": {
"enum": [
"alcohol",
"beef",
"coconut",
"eggs",
"fish",
"item-is-deep-fried",
"milk",
"oats",
"peanuts",
"pork",
"sesame-seed",
"shellfish",
"soy",
"tree-nuts",
"wheat_barley_rye"
],
"type": "string"
},
"type": "array"
},
"hall": {
"enum": [
"bursley",
"east-quad",
"markley",
"mosher-jordan",
"north-quad",
"south-quad",
"twigs-at-oxford",
"wolverine-village",
"lawyers-club",
"martha-cook"
],
"type": "string"
},
"limit": {
"maximum": 500,
"minimum": 1,
"type": "integer"
},
"max_calories": {
"minimum": 0,
"type": "number"
},
"max_carbon": {
"enum": [
"low",
"medium",
"high"
],
"type": "string"
},
"max_sodium_mg": {
"minimum": 0,
"type": "number"
},
"min_mhealthy": {
"maximum": 5,
"minimum": 1,
"type": "integer"
},
"require_traits": {
"items": {
"enum": [
"carbonhigh",
"carbonlow",
"carbonmedium",
"glutenfree",
"halal",
"kosher",
"mhealthy1",
"mhealthy2",
"mhealthy3",
"mhealthy4",
"mhealthy5",
"spicy",
"vegan",
"vegetarian"
],
"type": "string"
},
"type": "array"
}
},
"type": "object"
},
"name": "filter_dishes"
},
{
"description": "Return the dining halls that are serving at the current time, and the ones that are not, with the service periods of today.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {},
"type": "object"
},
"name": "find_open_now"
},
{
"description": "Get the service periods published for a dining hall on the requested day, together with the hall's regular weekly schedule. Without a hall argument every hall is returned.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"hall": {
"enum": [
"bursley",
"east-quad",
"markley",
"mosher-jordan",
"north-quad",
"south-quad",
"twigs-at-oxford",
"wolverine-village",
"lawyers-club",
"martha-cook"
],
"type": "string"
}
},
"type": "object"
},
"name": "get_hours"
},
{
"description": "Get the full nutrition panel of one dish, including the serving size, calories, the fat, cholesterol, sodium, carbohydrate and protein values and the micronutrients. The dish name is matched case-insensitively; an exact match wins, otherwise a unique substring match is used and an ambiguous name is reported rather than guessed.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"hall": {
"description": "The dining hall to read.",
"enum": [
"bursley",
"east-quad",
"markley",
"mosher-jordan",
"north-quad",
"south-quad",
"twigs-at-oxford",
"wolverine-village",
"lawyers-club",
"martha-cook"
],
"type": "string"
},
"item": {
"description": "The dish name.",
"minLength": 1,
"type": "string"
}
},
"required": [
"hall",
"item"
],
"type": "object"
},
"name": "get_item_nutrition"
},
{
"description": "Get the menu of one dining hall: meals, stations and dishes, with each dish's traits (Vegan, Halal, Gluten Free, Nutrient Dense tier, Carbon Footprint tier), allergens and nutrition panel. The date defaults to today; the site publishes menus for today-3 days to today+14 days.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"hall": {
"description": "The dining hall to read.",
"enum": [
"bursley",
"east-quad",
"markley",
"mosher-jordan",
"north-quad",
"south-quad",
"twigs-at-oxford",
"wolverine-village",
"lawyers-club",
"martha-cook"
],
"type": "string"
},
"meal": {
"enum": [
"Breakfast",
"Lunch",
"Dinner"
],
"type": "string"
}
},
"required": [
"hall"
],
"type": "object"
},
"name": "get_menu"
},
{
"description": "List the ten University of Michigan dining halls with their address, phone, e-mail, map link, the service periods published for the requested day, whether they are serving right now, and whether they have a gluten-free pantry. Cafes, markets, bakeries, grills, prices and meal plans are out of scope.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
}
},
"type": "object"
},
"name": "list_locations"
},
{
"description": "Search dish names across the dining halls, or within one hall. The match is a case-insensitive substring match on the dish name.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"date": {
"description": "Calendar date in YYYY-MM-DD. The site publishes menus for today-3 days to today+14 days.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"hall": {
"description": "Restrict the search to one hall.",
"enum": [
"bursley",
"east-quad",
"markley",
"mosher-jordan",
"north-quad",
"south-quad",
"twigs-at-oxford",
"wolverine-village",
"lawyers-club",
"martha-cook"
],
"type": "string"
},
"limit": {
"maximum": 500,
"minimum": 1,
"type": "integer"
},
"query": {
"description": "Text to look for in the dish names.",
"minLength": 1,
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "search_dishes"
}
]
}What the leaf hashes
{"body":"7fbd0142f65fc7a856073ffb1e2679d2a6148c67edadccba0a221ea15889359b","id":1034761,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793294176597026,"prev":null,"subject":"e7b4a577-9f50-4dff-ac11-d5e3dfbc7d9d","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (242798 rows).
- 0x83ae6ade189e37f4035f1951a4c0eee450ba7ffc783b4c5bb02a1159859824f5
- 0xbacbb165053f3587112791779ce8d3155638543bc42ba6c9d925ac3622036933
- 0xd71f56b627e6690c5afed932a047c0ef7184c18feaf55f31d7de3805976af9e9
- 0xb06c4403ae221a6d64fd7b1159b68d4e0c68f61ea9172f1cdfb410ea1c67a9c3
- 0x7e6453a8769909587ed40b3f0e0bd85a6e78dc24b89c56c19a2f03a34c7133ad
- 0x9780f9f408186012c011734e27c0085e53783f604610421d9f686864db4a9a1c
- 0x8214aa7c2e99c2b962e68abe4370d7db15f074a2a12397dccee23a8a340a1557
- 0xf0c64cfa2da299f3a7c2bfb8a93aa705ea5130dc59e20d3e2ad8d96331b0c90b
- 0x52a4fb2f480357d80b9ffc2a702b43a267e47fe5e0e75c85ecba50bc1383f907
- 0x66116268407544b0d2aba02a5db30b59596638b96623d2e57149ff7cf84cdfbb
- 0x976d6f36770e55d687647d3667ee3a1291894a3132d2a2164576bb8efc3b7260
- 0x165a0ebd30d5d40838b00ba129ab1c072a0c1fdc4b86723389d5a938f8664089
- 0xc511979001bcd2bb5b86878738a5b657ccc5572a24d219f29746ef8edbbccf80
- 0x738c5bd29ff2d2f8d7fd631baca705f1f09ba7c5f714efb8c3ec3626affb304a
- 0xcf94ad18fb19d78b9bda4e21e2e80e6fbf3504f3f83fee3273c11933743525c4
- 0xe2d603cd6f987214550319ad4fa39952b6098bc5c1b20893b6b80e8d82a79934
- 0x91f12a2db1e2c1be07cbe4de3981a37a33051a36d3c3eee5a260804add6d1d75
- 0xd56e61af23709ed9f460471e3c08400c0142ee83e1fd9057e46350d12edf9c07
- Day root
- 0xc050555c6b023f2aefb6536efb9f0760b92c30a0d06c572b7daf63db259ea17c
- Chained
- 0x4cde8bae2042512e1bec11650628f0293556311cc4ea74d99ffddf02b671a7d6
- Published
- On Arc Testnet, block 69753317: 0x9e85c340732f416e431b111fae72f7624870125f7f379af2732eb6c2ba8cf6a1