kr_is_business_day
Check whether a date is a Korean business day and get the next and previous business days before promising delivery or meeting dates.
Instructions
Tell whether a date is a Korean business day (평일, not a public holiday), and give the next and previous business days. 해당 날짜가 영업일인지 확인합니다. Use before promising a delivery/meeting date. Needs a date (default today, KST).
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "kr_is_business_day"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| date | No | yyyy-MM-dd | |
| extraHolidays | No | Additional holidays (e.g. from kr_holidays of the public-data server, or company days off) |