Server definition
- Hash
- sha256:d4a473f572b554bfbfcc679e89cada7547899704c27523616197a150c5aae3a4
- What it is
- What a remote MCP server returned when asked what it offers: 2 tools
The blob, as servednamed by its sha256
{
"instructions": null,
"tools": [
{
"description": "Full list of official public holidays for a country in a given\nyear. Use for \"what are the holidays in Germany in 2026\", planning\naround a country's holiday calendar, or any \"list the holidays for X\"\nquestion. `country_code` is a 2-letter ISO code (US, GB, DE, FR, JP,\n...) -- roughly 100 countries are covered, not every country\nworldwide. Returns each holiday's date, local name, English name, and\ntype (e.g. Public, Bank, Observance).",
"inputSchema": {
"additionalProperties": false,
"properties": {
"country_code": {
"type": "string"
},
"year": {
"type": "integer"
}
},
"required": [
"country_code",
"year"
],
"type": "object"
},
"name": "get_public_holidays",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"description": "Checks whether one specific date is a public holiday in a country,\nand names it if so. Use for \"is Dec 25 2026 a holiday in the US\",\n\"is the office closed on this date\", or any single-date holiday check\n-- prefer this over `get_public_holidays` when the question is about\njust one day. `country_code` is a 2-letter ISO code; `date` is\nYYYY-MM-DD. Returns whether it's a holiday and, if so, its name.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"country_code": {
"type": "string"
},
"date": {
"type": "string"
}
},
"required": [
"country_code",
"date"
],
"type": "object"
},
"name": "is_public_holiday",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:d4a473f572b554bfbfcc679e89cada7547899704c27523616197a150c5aae3a4 | sha256sum