Server definition
- Hash
- sha256:e1d88d667a07d4c12020a0887b8f586611d092a361808a7e7193b8acfd0c965e
- What it is
- What a remote MCP server returned when asked what it offers: 3 tools
The blob, as servednamed by its sha256
{
"instructions": null,
"tools": [
{
"description": "Run one allowlisted, bounded HTTPS GET contract and return extracted values, provenance, and an integrity receipt.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"parameters": {
"additionalProperties": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"propertyNames": {
"pattern": "^[a-z0-9][a-z0-9-]+$",
"type": "string"
},
"type": "object"
},
"recipeId": {
"maxLength": 100,
"minLength": 1,
"type": "string"
}
},
"required": [
"recipeId"
],
"type": "object"
},
"name": "execute",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"contract_version": {
"type": "string"
},
"elapsed_ms": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"interpretation": {
"items": {
"type": "string"
},
"type": "array"
},
"parameters": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"provenance": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"question": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"receipt": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"recipe_id": {
"type": "string"
},
"request_url": {
"type": "string"
},
"results": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"retrieved_at": {
"type": "string"
},
"status": {
"const": "ok",
"type": "string"
}
},
"required": [
"status",
"recipe_id",
"contract_version",
"question",
"parameters",
"retrieved_at",
"elapsed_ms",
"request_url",
"results",
"interpretation",
"provenance",
"receipt"
],
"type": "object"
}
},
{
"description": "Search current metadata from e-Gov Data Portal and Statistics Dashboard, then return a short ranked list with publisher, formats, coverage, usage terms, and official links.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"kind": {
"default": "all",
"description": "Search all sources, downloadable datasets, or statistical series",
"enum": [
"all",
"dataset",
"statistics"
],
"type": "string"
},
"limit": {
"default": 10,
"maximum": 20,
"minimum": 1,
"type": "integer"
},
"query": {
"description": "What data to find, preferably in Japanese",
"maxLength": 80,
"minLength": 2,
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "search_data",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"available": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"interpreted_as": {
"items": {
"type": "string"
},
"type": "array"
},
"note": {
"type": "string"
},
"query": {
"type": "string"
},
"results": {
"items": {},
"type": "array"
},
"searched_at": {
"type": "string"
},
"sources": {
"items": {},
"type": "array"
},
"status": {
"const": "ok",
"type": "string"
},
"total": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"status",
"query",
"interpreted_as",
"searched_at",
"results",
"total",
"available",
"sources",
"note"
],
"type": "object"
}
},
{
"description": "Check receipt and result hashes plus the execution envelope against the reviewed catalog. This detects later modification; it does not prove publisher authenticity or current freshness.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"execution": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
}
},
"required": [
"execution"
],
"type": "object"
},
"name": "verify",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"checks": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"receipt_id": {
"type": "string"
},
"valid": {
"type": "boolean"
}
},
"required": [
"valid",
"receipt_id",
"checks"
],
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:e1d88d667a07d4c12020a0887b8f586611d092a361808a7e7193b8acfd0c965e | sha256sum