← The evidence ledger
Evidence row 514481
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 43d2db46-8521-4854-86cf-7daea8435491
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- fbf7d348eed1f87d12e9beb9dd92dd63e6a1b744fe39f394002f61ca4885ccc5
- Leaf
- 0xd0f6459950e8974f7c8343f9957f10244d7239f5ab698d6077a686a418e3bd3e
What was observed
{
"count": 6,
"tools": [
{
"description": "Find the days of annual leave to book around each public holiday (or cluster, such as Christmas and New Year) to get the most days off in a row: \"book 4 days, get 10 off\" options, cheapest first, with the exact dates. Use for \"Which days should I book around Easter 2027 in Scotland?\". Filter by holiday name (Easter, Christmas, Early May, Spring, Summer, St Patrick...). Past days are skipped.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"from": {
"description": "Start of a date range, instead of year (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"holiday": {
"description": "Only holidays whose name contains this, e.g. \"Easter\", \"Christmas\", \"May\".",
"maxLength": 60,
"type": "string"
},
"max_leave_days": {
"default": 9,
"description": "Most days of leave for one break. Default 9.",
"maximum": 15,
"minimum": 1,
"type": "integer"
},
"next_working_day_off": {
"description": "Ireland only: true if the person's employer gives the next working day off when a public holiday falls on a Saturday or Sunday (the civil service and banks do; Irish law doesn't require it, so the employer may give a day within a month, an extra day's leave or a day's pay instead). Adds those days, e.g. Mon 27 and Tue 28 Dec 2027. Default false.",
"type": "boolean"
},
"region": {
"default": "england-and-wales",
"description": "Where the person works: england-and-wales, scotland or northern-ireland for UK bank holidays (from gov.uk); IE for Ireland; an Australian state or territory as AU-NSW, AU-VIC, AU-QLD, AU-WA, AU-SA, AU-TAS, AU-ACT or AU-NT (their public holidays differ a lot); US for US federal holidays; or a two-letter ISO 3166-1 country code such as DE or FR for other countries' public holidays (from Nager.Date). Defaults to england-and-wales.",
"maxLength": 40,
"minLength": 2,
"type": "string"
},
"to": {
"description": "End of the date range, inclusive (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"us_holiday_ids": {
"description": "US only, with us_holidays: custom. Any of: new-years-day, mlk-day, washingtons-birthday, memorial-day, juneteenth, independence-day, labor-day, columbus-day, veterans-day, thanksgiving, day-after-thanksgiving, christmas-day (day-after-thanksgiving isn't federal, but many employers give it).",
"items": {
"enum": [
"new-years-day",
"mlk-day",
"washingtons-birthday",
"memorial-day",
"juneteenth",
"independence-day",
"labor-day",
"columbus-day",
"veterans-day",
"thanksgiving",
"day-after-thanksgiving",
"christmas-day"
],
"type": "string"
},
"maxItems": 12,
"type": "array"
},
"us_holidays": {
"default": "federal",
"description": "US only: which holidays the person's employer gives. Private employers choose: common = the usual six (New Year's Day, Memorial Day, Independence Day, Labor Day, Thanksgiving, Christmas); federal = all 11 federal holidays; custom = the ones in us_holiday_ids. Default here: federal, to show every option.",
"enum": [
"common",
"federal",
"custom"
],
"type": "string"
},
"workdays": {
"description": "Days the person works, e.g. [\"mon\",\"tue\",\"wed\",\"thu\"] for a four-day week. Defaults to Monday to Friday.",
"items": {
"enum": [
"mon",
"tue",
"wed",
"thu",
"fri",
"sat",
"sun"
],
"type": "string"
},
"maxItems": 7,
"minItems": 1,
"type": "array"
},
"year": {
"description": "Calendar year, e.g. 2027. Defaults to this year.",
"maximum": 2100,
"minimum": 2019,
"type": "integer"
}
},
"type": "object"
},
"name": "best_days_to_book"
},
{
"description": "Find the cheapest return flights from a departure airport that fit a break, one per destination, cheapest first, with booking links. Prices are cached airline fares in the departure country's currency (GBP, EUR, AUD or USD) and can change; if the result says sample, they are example prices only. Links go through leavehacker.app/go and are affiliate links: Leave Hacker may earn a commission if you book, at no extra cost to you. Say so when you share them. Use for \"Find cheap flights from Manchester that fit the May bank holiday weekend\" (work out the break's dates with best_days_to_book first).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"depart": {
"description": "Outbound date, the first day of the break (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"limit": {
"default": 10,
"description": "How many destinations to return, up to 20. Default 10.",
"maximum": 20,
"minimum": 1,
"type": "integer"
},
"origin": {
"description": "Departure airport or city IATA code, e.g. MAN (Manchester), LGW (Gatwick), EDI (Edinburgh), BHX, LON (all London airports).",
"maxLength": 3,
"minLength": 3,
"type": "string"
},
"return": {
"description": "Return date, the last day of the break (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
}
},
"required": [
"origin",
"depart",
"return"
],
"type": "object"
},
"name": "find_trips"
},
{
"description": "List the bank holidays (UK, from gov.uk) or public holidays (other countries, from Nager.Date) for a region in a year or between two dates, with weekdays and substitute days. Use it for questions like \"When are the bank holidays in Scotland in 2027?\". Ranges can be up to three years.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"from": {
"description": "Start of a date range, instead of year (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"next_working_day_off": {
"description": "Ireland only: true if the person's employer gives the next working day off when a public holiday falls on a Saturday or Sunday (the civil service and banks do; Irish law doesn't require it, so the employer may give a day within a month, an extra day's leave or a day's pay instead). Adds those days, e.g. Mon 27 and Tue 28 Dec 2027. Default false.",
"type": "boolean"
},
"region": {
"default": "england-and-wales",
"description": "Where the person works: england-and-wales, scotland or northern-ireland for UK bank holidays (from gov.uk); IE for Ireland; an Australian state or territory as AU-NSW, AU-VIC, AU-QLD, AU-WA, AU-SA, AU-TAS, AU-ACT or AU-NT (their public holidays differ a lot); US for US federal holidays; or a two-letter ISO 3166-1 country code such as DE or FR for other countries' public holidays (from Nager.Date). Defaults to england-and-wales.",
"maxLength": 40,
"minLength": 2,
"type": "string"
},
"to": {
"description": "End of the date range, inclusive (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"year": {
"description": "Calendar year, e.g. 2027. Defaults to this year.",
"maximum": 2100,
"minimum": 2019,
"type": "integer"
}
},
"type": "object"
},
"name": "get_bank_holidays"
},
{
"description": "Typical state-school holiday dates for a UK nation in a year (half terms, Easter, summer, Christmas). These are the usual pattern, NOT official dates: councils and schools set their own, so always tell the person to check their school's term dates.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"region": {
"default": "england-and-wales",
"description": "UK nation: england-and-wales, scotland or northern-ireland.",
"enum": [
"england-and-wales",
"scotland",
"northern-ireland"
],
"type": "string"
},
"year": {
"description": "Calendar year, e.g. 2027. Defaults to this year.",
"maximum": 2100,
"minimum": 2019,
"type": "integer"
}
},
"type": "object"
},
"name": "get_school_holidays"
},
{
"description": "Write the short, polite message asking a manager for the leave days of a break, in the same words as the Leave Hacker app. Pass the dates to book; the break's first and last day are worked out from the weekends (and bank holidays, if you pass region) either side unless you pass them.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"break_end": {
"description": "Last day off, if known (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"break_start": {
"description": "First day off, if known (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"dates_to_book": {
"description": "The working days to book as leave (yyyy-MM-dd).",
"items": {
"description": "A day of leave (yyyy-MM-dd).",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"maxItems": 60,
"minItems": 1,
"type": "array"
},
"region": {
"description": "Optional, to count bank holidays next to the dates: england-and-wales, scotland or northern-ireland for UK bank holidays (from gov.uk); IE for Ireland; an Australian state or territory as AU-NSW, AU-VIC, AU-QLD, AU-WA, AU-SA, AU-TAS, AU-ACT or AU-NT (their public holidays differ a lot); US for US federal holidays; or a two-letter ISO 3166-1 country code such as DE or FR for other countries' public holidays (from Nager.Date).",
"maxLength": 40,
"minLength": 2,
"type": "string"
}
},
"required": [
"dates_to_book"
],
"type": "object"
},
"name": "leave_request_message"
},
{
"description": "Plan a whole leave year: the set of breaks that turns the person's annual leave allowance into the most days off, using every bank holiday, with the dates to book for each break and the totals. Handles any leave year start date, part-time working days, three plan styles and school holidays (parents: breaks only in school holidays; school staff: the holidays themselves). Use for \"Plan my 28 days of leave for 2027, I have kids at school\".",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"allowance": {
"description": "Days of annual leave (PTO in the US) a year, not counting public holidays. Defaults to the usual for the region: 25 in the UK, 20 in Ireland and Australia (the legal minimum for full-time work), 15 in the US.",
"maximum": 60,
"minimum": 0,
"type": "integer"
},
"days_used": {
"default": 0,
"description": "Days of this leave year's allowance already taken or booked. Default 0.",
"maximum": 60,
"minimum": 0,
"type": "integer"
},
"leave_year_start_day": {
"default": 1,
"description": "Day of the month the leave year starts. Default 1.",
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"leave_year_start_month": {
"default": 1,
"description": "Month the leave year starts, 1–12 (1 = January, 4 = April). Default 1.",
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"leave_year_starting": {
"description": "Instead of year: the calendar year the leave year starts in, e.g. 2027 for January–December 2027 or April 2027–March 2028.",
"maximum": 2100,
"minimum": 2019,
"type": "integer"
},
"next_working_day_off": {
"description": "Ireland only: true if the person's employer gives the next working day off when a public holiday falls on a Saturday or Sunday (the civil service and banks do; Irish law doesn't require it, so the employer may give a day within a month, an extra day's leave or a day's pay instead). Adds those days, e.g. Mon 27 and Tue 28 Dec 2027. Default false.",
"type": "boolean"
},
"region": {
"default": "england-and-wales",
"description": "Where the person works: england-and-wales, scotland or northern-ireland for UK bank holidays (from gov.uk); IE for Ireland; an Australian state or territory as AU-NSW, AU-VIC, AU-QLD, AU-WA, AU-SA, AU-TAS, AU-ACT or AU-NT (their public holidays differ a lot); US for US federal holidays; or a two-letter ISO 3166-1 country code such as DE or FR for other countries' public holidays (from Nager.Date). Defaults to england-and-wales.",
"maxLength": 40,
"minLength": 2,
"type": "string"
},
"school": {
"default": "none",
"description": "none (default); parent: children at school, so breaks only in typical school holidays; staff: works in a school, so the school holidays are the breaks. UK only.",
"enum": [
"none",
"parent",
"staff"
],
"type": "string"
},
"style": {
"default": "mix",
"description": "mix: two proper holidays of 9+ days, the rest long weekends (default). longWeekends: as many 3–5 day weekends as possible. bigTrips: fewer trips of 9+ days.",
"enum": [
"mix",
"longWeekends",
"bigTrips"
],
"type": "string"
},
"us_holiday_ids": {
"description": "US only, with us_holidays: custom. Any of: new-years-day, mlk-day, washingtons-birthday, memorial-day, juneteenth, independence-day, labor-day, columbus-day, veterans-day, thanksgiving, day-after-thanksgiving, christmas-day (day-after-thanksgiving isn't federal, but many employers give it).",
"items": {
"enum": [
"new-years-day",
"mlk-day",
"washingtons-birthday",
"memorial-day",
"juneteenth",
"independence-day",
"labor-day",
"columbus-day",
"veterans-day",
"thanksgiving",
"day-after-thanksgiving",
"christmas-day"
],
"type": "string"
},
"maxItems": 12,
"type": "array"
},
"us_holidays": {
"default": "common",
"description": "US only: which holidays the person's employer gives. Private employers choose: common = the usual six (New Year's Day, Memorial Day, Independence Day, Labor Day, Thanksgiving, Christmas); federal = all 11 federal holidays; custom = the ones in us_holiday_ids. Default here: common.",
"enum": [
"common",
"federal",
"custom"
],
"type": "string"
},
"workdays": {
"description": "Days the person works, e.g. [\"mon\",\"tue\",\"wed\",\"thu\"] for a four-day week. Defaults to Monday to Friday.",
"items": {
"enum": [
"mon",
"tue",
"wed",
"thu",
"fri",
"sat",
"sun"
],
"type": "string"
},
"maxItems": 7,
"minItems": 1,
"type": "array"
},
"year": {
"description": "Which leave year: current or next. Defaults to current, or next when under 90 days are left.",
"enum": [
"current",
"next"
],
"type": "string"
}
},
"type": "object"
},
"name": "plan_leave_year"
}
]
}What the leaf hashes
{"body":"fbf7d348eed1f87d12e9beb9dd92dd63e6a1b744fe39f394002f61ca4885ccc5","id":514481,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793119586584909,"prev":null,"subject":"43d2db46-8521-4854-86cf-7daea8435491","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (273461 rows).
- 0xd0f6527689cc80f0750677dca01904e67fd3888125a871f5509041d1bc29065b
- 0xd6d04e1032b08d75c40ea45f9034d83698feb79d8bc0accdc95a4f735ecd7161
- 0x19d8478f9bd97520ed9e54e5c79ae29031271249b4e43aea287d9f9da8cbd4d5
- 0x55e935676027ecd89cd9d50c28ce1c9de57bc7256623f7c5e9bc2ea88906ede1
- 0x740e7a143b30217d68164cc33899ee1f008aab56b6dcf1f453bc07b41e8d1351
- 0x2fd51991bb11b76391dba2ebc93262cbe9c4bfc72154ad6a4618c6aa9777fe62
- 0xc475f10f1f260ae4dc54ba6cf30432cb56ae2be3f824e2fcce84af4aed213ccd
- 0x8905982fe7747e8a7120d13391665dc83c20d666784c125c556a961c03931db9
- 0xa27ede3cad511221f20ba52362c5d4a3bea0edf10582d5de2bc355cae2117c50
- 0x34cacd18dd2b0acd35a8edd618baa8897a3f862cd032cfa7b608a35a78af9818
- 0x4b1aadf42648925230bfb44b27bd502af3645508661ab5ac15765dd2ba24b33e
- 0x38b115338d9e861f29b2feec4763340cc61f27fc2c2bbe5bf04934e95e485c6c
- 0xc66f83a1320fe7c1faf22674eeeb7fae22ecd2f0b102d9619a484291f2ce104a
- 0x8f676edfb4faaa290229d8f4f69ab721fc627424463d62f5146b3d1ca7f2f0c6
- 0x969cd44e5a4e8dc3110540398fbf689659eb51df735c1cda5d8f021ef9ff5683
- 0xa94627de1af0e823832e05a9069b304ecccb8c0cdb8f9cfc4f2039bfb9799dc5
- 0xdf1105afdc109de3c09a98fc8a3864159ad964e6f49b635c105a27a1e1f14310
- 0x2bf8151e5f157dd183b9de6fa00469551932a7a6e3f33a694895000ac9061197
- 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
- Day root
- 0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
- Chained
- 0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
- Published
- On Arc Testnet, block 69414147: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4