Server definition
- Hash
- sha256:79e40d3f7b445f8882204e255ad78095f8921bf63a07a6ab80c2f73c499e3947
- What it is
- What a remote MCP server returned when asked what it offers: 4 tools
The blob, as servednamed by its sha256
{
"instructions": null,
"tools": [
{
"description": "指定した日付(date)の翌日から数えてN営業日目(days)の日付を返します。dateの当日は数えません。daysが負の場合は過去方向（dateの前日から遡ってN営業日目）に計算します。土日・日本の祝日を除外し、calendar=\"banking\"を指定すると銀行休業日（12/31〜1/3）も除外します。dateが営業日かどうかだけ知りたい場合は is_holiday を使ってください（days=0でも同じ情報がskipped経由で得られます）。入力例: {\"date\": \"2026-07-10\", \"days\": 3}",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"calendar": {
"description": "\"standard\"（既定）または\"banking\"（銀行休業日も除外）。",
"type": "string"
},
"date": {
"description": "起点日 YYYY-MM-DD。例: \"2026-07-10\"。この日自体は数えません。",
"type": "string"
},
"days": {
"description": "何営業日先(正)/前(負)かを表す整数。0も指定可: dateをそのまま返し、dateが非営業日ならskippedに1件（date自身とその理由）を記録します。",
"type": "number"
},
"extra_closed_dates": {
"description": "顧客固有の追加休業日（YYYY-MM-DD の配列）。例: [\"2026-12-29\", \"2026-12-30\"]",
"items": {
"type": "string"
},
"type": "array"
}
},
"required": [
"date",
"days"
],
"type": "object"
},
"name": "add_business_days",
"outputSchema": null
},
{
"description": "from〜to間の営業日数を数えます。既定では「fromを含まず、toを含む」境界です（例:「今日から支払期日まで何営業日か」）。include_from/include_toで境界を変更できます。土日・日本の祝日を除外し、calendar=\"banking\"を指定すると銀行休業日（12/31〜1/3）も除外します。from > to の場合はエラーにせず、from/toとinclude_from/include_toを入れ替えて計算した結果の符号を反転した値（負の営業日数）を返します（反対称則: count(A,B,x,y) = -count(B,A,y,x)。A≠B、すなわちfrom≠toの場合に成立する恒等式で、from===toはこの分岐に入らないため対象外）。入力例: {\"from\": \"2026-07-10\", \"to\": \"2026-07-20\"}",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"calendar": {
"description": "\"standard\"（既定）または\"banking\"（銀行休業日も除外）。",
"type": "string"
},
"extra_closed_dates": {
"description": "顧客固有の追加休業日（YYYY-MM-DD の配列）。例: [\"2026-12-29\", \"2026-12-30\"]",
"items": {
"type": "string"
},
"type": "array"
},
"from": {
"description": "起点日 YYYY-MM-DD。例: \"2026-07-10\"。",
"type": "string"
},
"include_from": {
"description": "fromを営業日数に含めるか。既定はfalse。",
"type": "boolean"
},
"include_to": {
"description": "toを営業日数に含めるか。既定はtrue。",
"type": "boolean"
},
"to": {
"description": "終点日 YYYY-MM-DD。例: \"2026-07-20\"。fromより前の日付も指定可（結果は負の営業日数になります）。",
"type": "string"
}
},
"required": [
"from",
"to"
],
"type": "object"
},
"name": "business_days_between",
"outputSchema": null
},
{
"description": "指定した日付が日本の祝日（国民の祝日・休日）かどうかを判定します。内閣府公表データに基づきます。入力例: {\"date\": \"2026-01-01\"}",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"date": {
"description": "YYYY-MM-DD形式の日付。例: \"2026-01-01\"",
"type": "string"
}
},
"required": [
"date"
],
"type": "object"
},
"name": "is_holiday",
"outputSchema": null
},
{
"description": "指定した年または期間の日本の祝日一覧を返します。入力例: {\"year\": 2026} または {\"from\": \"2026-01-01\", \"to\": \"2026-06-30\"}",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"from": {
"description": "期間開始日 YYYY-MM-DD。例: \"2026-01-01\"。yearとは併用不可。",
"type": "string"
},
"to": {
"description": "期間終了日 YYYY-MM-DD。例: \"2026-06-30\"。yearとは併用不可。",
"type": "string"
},
"year": {
"description": "西暦年。例: 2026。from/toとは併用不可。",
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
}
},
"type": "object"
},
"name": "list_holidays",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:79e40d3f7b445f8882204e255ad78095f8921bf63a07a6ab80c2f73c499e3947 | sha256sum