← The evidence ledger
Evidence row 1009125
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint cc61d24d-7b9b-47ec-ad7a-d7c6f2c1e2ef
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 2833d0822f02238a7e38acca1eae83ceb546f0a9eb3b37b85823efa91ae40da9
- Leaf
- 0xb5e996350074d2d2e7e4bfc3d03360e7139a938785e2f717de16f101d452b500
What was observed
{
"count": 4,
"tools": [
{
"description": "Returns the date that is N business days after (or before, if N is negative) a start date in Türkiye, e.g. for payment terms or legal deadlines. The start date is not counted. Türkiye's official calendar (Law 2429 holidays plus Diyanet's religious holidays), covering 2022-01-01 to 2035-12-31. Business days are Monday–Friday minus official holidays. Eves of Republic Day and the religious holidays are half days (holiday from 13:00).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"calendar": {
"default": "standard",
"description": "standard: general business days. public_sector: also excludes announced administrative leave (from 2026). tcmb: days the central bank publishes exchange rates (no bulletin on eves).",
"enum": [
"standard",
"public_sector",
"tcmb"
],
"type": "string"
},
"date": {
"description": "Start date, YYYY-MM-DD",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"days": {
"description": "Business days to add; negative to go back; non-zero",
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"half_days": {
"default": "working",
"description": "Count half-day eves as working days or as holidays.",
"enum": [
"working",
"holiday"
],
"type": "string"
}
},
"required": [
"date",
"days"
],
"type": "object"
},
"name": "add_business_days"
},
{
"description": "Tells whether a date is a business day in Türkiye, which holiday falls on it and whether only the afternoon is off. Türkiye's official calendar (Law 2429 holidays plus Diyanet's religious holidays), covering 2022-01-01 to 2035-12-31. Business days are Monday–Friday minus official holidays. Eves of Republic Day and the religious holidays are half days (holiday from 13:00).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"calendar": {
"default": "standard",
"description": "standard: general business days. public_sector: also excludes announced administrative leave (from 2026). tcmb: days the central bank publishes exchange rates (no bulletin on eves).",
"enum": [
"standard",
"public_sector",
"tcmb"
],
"type": "string"
},
"date": {
"description": "Date, YYYY-MM-DD",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"half_days": {
"default": "working",
"description": "Count half-day eves as working days or as holidays.",
"enum": [
"working",
"holiday"
],
"type": "string"
}
},
"required": [
"date"
],
"type": "object"
},
"name": "check_business_day"
},
{
"description": "Counts business days between two dates in Türkiye, both dates included. Türkiye's official calendar (Law 2429 holidays plus Diyanet's religious holidays), covering 2022-01-01 to 2035-12-31. Business days are Monday–Friday minus official holidays. Eves of Republic Day and the religious holidays are half days (holiday from 13:00).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"calendar": {
"default": "standard",
"description": "standard: general business days. public_sector: also excludes announced administrative leave (from 2026). tcmb: days the central bank publishes exchange rates (no bulletin on eves).",
"enum": [
"standard",
"public_sector",
"tcmb"
],
"type": "string"
},
"from": {
"description": "Date, YYYY-MM-DD",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"half_days": {
"default": "working",
"description": "Count half-day eves as working days or as holidays.",
"enum": [
"working",
"holiday"
],
"type": "string"
},
"to": {
"description": "Date, YYYY-MM-DD",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
}
},
"required": [
"from",
"to"
],
"type": "object"
},
"name": "count_business_days"
},
{
"description": "Lists all public holidays of a year in Türkiye, with Turkish/English names, type, half-day eves and announced administrative leave. Türkiye's official calendar (Law 2429 holidays plus Diyanet's religious holidays), covering 2022-01-01 to 2035-12-31. Business days are Monday–Friday minus official holidays. Eves of Republic Day and the religious holidays are half days (holiday from 13:00).",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"year": {
"description": "Year, 2022–2035",
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
}
},
"required": [
"year"
],
"type": "object"
},
"name": "list_holidays"
}
]
}What the leaf hashes
{"body":"2833d0822f02238a7e38acca1eae83ceb546f0a9eb3b37b85823efa91ae40da9","id":1009125,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793265328686605,"prev":null,"subject":"cc61d24d-7b9b-47ec-ad7a-d7c6f2c1e2ef","subject_kind":"endpoint"}Proof
Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.