addrbookFor publishers
← 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.

How to check it · This row as JSON