← The evidence ledger
Evidence row 2990500
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 01788f9e-9a6b-49b8-bc33-bc9260fd0030
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 5aaf2760dd01a778bf9d7fded1b6d20bbdb09e3487ff75d3b2e16a225eaff53c
- Leaf
- 0x21af158444c38140f9ef7a5d3b1b06733b583884640480c15d9d58e3db09edba
What was observed
{
"count": 7,
"tools": [
{
"description": "Discard one of the seller's drafts, for good. Ask the seller first. Needs the seller's sign-in.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"draft_id": {
"maxLength": 64,
"type": "string"
}
},
"required": [
"draft_id"
],
"type": "object"
},
"name": "ingatlan_discard_draft"
},
{
"description": "What a listing draft asks — the kinds and building types, the general fields and every property fact with its type, options, bounds and when it applies. Call it before asking the seller; narrow it with kind, building and deal. Needs the seller's sign-in.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"building": {
"enum": [
"house",
"semi-detached",
"small-condo",
"large-condo",
"housing-estate"
],
"type": "string"
},
"deal": {
"description": "\"sale\", \"rent\" or \"both\": a rent asks its own terms.",
"enum": [
"sale",
"rent",
"both"
],
"type": "string"
},
"kind": {
"enum": [
"home",
"shop"
],
"type": "string"
}
},
"type": "object"
},
"name": "ingatlan_draft_fields"
},
{
"description": "One listing's public page: facts, asking prices and deadline, the neighbourhood (nearest stop, school, shop…), the floor plan by level, photo links, and how to make an offer (on the page, after a Google sign-in). An ended listing says so.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"code": {
"description": "The listing's code, or its https://otthonesuzlet.hu/<code> link.",
"type": "string"
}
},
"required": [
"code"
],
"type": "object"
},
"name": "ingatlan_get_listing"
},
{
"description": "Where and how a seller posts a listing (a link they open and sign in to), and the kinds, building types and nearby filters there are.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {},
"type": "object"
},
"name": "ingatlan_how_to_post"
},
{
"description": "The seller's drafts: id, title, last saved, and the activate_url the seller opens to post it. Needs the seller's sign-in.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {},
"type": "object"
},
"name": "ingatlan_list_drafts"
},
{
"description": "Save the seller's listing as a DRAFT — never live: the seller opens its activate_url, adds the photos and the map pin, accepts the terms and posts it. Checked by the posting form's rules; if something is missing or wrong, nothing is saved and the message says what to ask. At most 3 drafts; give draft_id to update one. Prices are whole amounts: a sale in millions with at most one decimal (42900000), a rent a month in whole thousands. Needs the seller's sign-in.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"address": {
"maxLength": 300,
"type": "string"
},
"building": {
"description": "Required for a home.",
"enum": [
"house",
"semi-detached",
"small-condo",
"large-condo",
"housing-estate"
],
"type": "string"
},
"currency": {
"maxLength": 3,
"type": "string"
},
"deadline": {
"description": "Last day for offers, YYYY-MM-DD.",
"pattern": "^\\d{4}-\\d{2}-\\d{2}$",
"type": "string"
},
"description": {
"maxLength": 20000,
"type": "string"
},
"draft_id": {
"description": "Update this draft instead of making a new one.",
"maxLength": 64,
"type": "string"
},
"facts": {
"additionalProperties": {
"anyOf": [
{
"type": "string"
},
{
"type": "number"
},
{
"items": {
"type": "string"
},
"type": "array"
}
]
},
"description": "By key, as ingatlan_draft_fields lists them.",
"propertyNames": {
"type": "string"
},
"type": "object"
},
"kind": {
"enum": [
"home",
"shop"
],
"type": "string"
},
"lat": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"lng": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"rent": {
"properties": {
"min_months": {
"maximum": 120,
"minimum": 1,
"type": "integer"
},
"monthly_rent": {
"description": "Asking rent a month, e.g. 250000.",
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"reserve": {
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
}
},
"required": [
"monthly_rent",
"min_months"
],
"type": "object"
},
"sale": {
"properties": {
"price": {
"description": "Asking price, e.g. 65000000.",
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"reserve": {
"description": "Hidden minimum, at most the price; the price when omitted.",
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
}
},
"required": [
"price"
],
"type": "object"
},
"title": {
"maxLength": 120,
"type": "string"
}
},
"required": [
"kind",
"title"
],
"type": "object"
},
"name": "ingatlan_save_draft"
},
{
"description": "Search the live listings of otthon & üzlet (otthonesuzlet.hu), Hungarian homes and shops for sale or rent with sealed offers. Returns a page of listings (code, url, title, address, asking prices, deadline, a short summary) and the same search's catalogue_url. A search needs three conditions: a place (in text), a kind of property (filters.building, kind \"shop\", or typed) and one more condition. Until it has them the answer is a guide, not listings: { valid: false, missing, how, choices } — choices are the filter values there are for the place typed, with counts. Ask the user the questions in ask_user (never guess a missing condition), then search again.",
"inputSchema": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"building": {
"description": "A home's building type (one; for several use filters.building).",
"enum": [
"house",
"semi-detached",
"small-condo",
"large-condo",
"housing-estate"
],
"type": "string"
},
"deal": {
"description": "For sale or for rent. With \"rent\" the price range is the monthly rent.",
"enum": [
"sale",
"rent"
],
"type": "string"
},
"filters": {
"description": "The site's chips, each a list of values: building (the kind of property: house, semi-detached, small-condo, large-condo, housing-estate, shop), rooms, newness, condition, heating, extras.",
"properties": {
"building": {
"description": "Ingatlantípus: any of them.",
"items": {
"enum": [
"house",
"semi-detached",
"small-condo",
"large-condo",
"housing-estate",
"shop"
],
"type": "string"
},
"type": "array"
},
"condition": {
"description": "Állapot: any of them.",
"items": {
"enum": [
"like-new",
"renovated",
"good",
"average",
"needs-renovation"
],
"type": "string"
},
"type": "array"
},
"extras": {
"description": "Felszereltség: all of them.",
"items": {
"enum": [
"balcony",
"garage",
"elevator",
"air-conditioning",
"basement"
],
"type": "string"
},
"type": "array"
},
"heating": {
"description": "Fűtés: any of them.",
"items": {
"enum": [
"gas",
"district",
"central",
"heat-pump",
"electric",
"solid-fuel"
],
"type": "string"
},
"type": "array"
},
"newness": {
"description": "Új vagy használt: any of them.",
"items": {
"enum": [
"new",
"used"
],
"type": "string"
},
"type": "array"
},
"rooms": {
"description": "Szobák: any of them.",
"items": {
"enum": [
"2-plus",
"3-plus"
],
"type": "string"
},
"type": "array"
}
},
"type": "object"
},
"kind": {
"description": "\"home\" or \"shop\".",
"enum": [
"home",
"shop"
],
"type": "string"
},
"max_price": {
"description": "Highest asking price, a whole amount in HUF.",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"min_price": {
"description": "Lowest asking price, a whole amount in HUF (e.g. 40000000; a rent e.g. 150000).",
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"near": {
"additionalProperties": {
"anyOf": [
{
"const": 200,
"type": "number"
},
{
"const": 400,
"type": "number"
},
{
"const": 800,
"type": "number"
},
{
"const": 1500,
"type": "number"
},
{
"const": 3000,
"type": "number"
},
{
"const": 5000,
"type": "number"
},
{
"const": 10000,
"type": "number"
},
{
"const": 300,
"type": "number"
},
{
"const": "any",
"type": "string"
},
{
"const": "none",
"type": "string"
}
]
},
"description": "Things within a distance, e.g. { \"transit-stop\": 400, \"school\": 800 }. Distances: 200, 400, 800, 1500, 3000, 5000, 10000 m. nightclub (300 m), railway (300 m), major-road (300 m), cemetery (300 m), industrial (300 m), airport (5000 m): \"none\" (none within that distance), \"any\" (no matter) or that distance (want one); unset: no matter.",
"propertyNames": {
"enum": [
"transit-stop",
"kindergarten",
"school",
"doctors",
"pharmacy",
"chain-supermarket",
"small-shop",
"parcel-locker",
"train-station",
"hospital",
"mall",
"swimming",
"cinema",
"museum",
"metro",
"park",
"green-area",
"cycleway",
"thermal-bath",
"water-park",
"nightclub",
"railway",
"major-road",
"cemetery",
"industrial",
"airport"
],
"type": "string"
},
"type": "object"
},
"page": {
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"page_size": {
"description": "At most 20; 10 by default.",
"maximum": 20,
"minimum": 1,
"type": "integer"
},
"sort": {
"description": "Closing soonest first by default (relevance, the site's \"Legjobb egyezés\", keeps that order here).",
"enum": [
"relevance",
"deadline",
"price_asc",
"price_desc",
"newest"
],
"type": "string"
},
"text": {
"description": "Required: a place, up to 5 — any of them: a settlement (\"Győr\"), a city part of one settlement only (\"Kelenföld\", \"Zugló\"), or \"Settlement-Part\" with a hyphen for a part several settlements have (\"Győr-Belváros\", \"Szeged-Tápé\", \"Budapest-Zugló\", \"Budapest-XI.\"; \"Belváros\" alone is no place); a county with \"megye\" (\"Fejér megye\"); a side of the Danube (\"budai oldal\", \"pesti oldal\"); and words or figures for the rest (e.g. \"lakótelep\", \"erkély\", \"3 szobás\", \"60 millió alatt\"); all must match, in any order, each category any of its values. Accents optional; \"út\" = \"utca\".",
"type": "string"
}
},
"required": [
"text"
],
"type": "object"
},
"name": "ingatlan_search_listings"
}
]
}What the leaf hashes
{"body":"5aaf2760dd01a778bf9d7fded1b6d20bbdb09e3487ff75d3b2e16a225eaff53c","id":2990500,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793788051712826,"prev":null,"subject":"01788f9e-9a6b-49b8-bc33-bc9260fd0030","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (424109 rows).
- 0x21aefe482f06b7605bafa1a058e7023fb8cca76b38beb63a8a4129c0dc1c62ee
- 0x7d398f5b26b61a006c1eb4f13203d9807b61d0c254f00f1b6a65b162a346a732
- 0xe5dfd816447415e3c4141573b0456e96e5e51c67a8509569cb67f79ae8f2603e
- 0x887b7b7fdb1d05170c01f3f796a640ffda72ce130f31c8935bc8fa439d375ce9
- 0xc7264b2345e1a9ea445dc9c2275c61060c26a139eb4cac8713a89bd54072a41b
- 0x480cd8525e48dcfd5be7e6776238afed5d6c691f2419b64d6ffb0ed33944e1cf
- 0x8d0e7c3b84e4e7b415b2fb0c8b83b4c26fed8c42492bf9202a995edbfff9126d
- 0x38affcbba51a02652bcaa044bdeaea0d3d0bc652b4ea831438a32ff5b5b0adb0
- 0x0171e6eb4ed3ee6a84bc9e1e30d98cf79adde13fa513f845b72623959f7a3b79
- 0x5e69e4455c56d833694be33c270f733924a0b92cfd4d86d3cdd5ad8c3ab26b49
- 0x7965e6f537484c87c2acc1a8b7298b810d7157f5ab854797e575ffcec1616efd
- 0xb40083f385af2bd859dec1533fe65111e9465752930dbbc64d6f70fee08c9315
- 0x12c229bab672223f7ecd08e40792eda3e4c45c819ea4d5ccc57467a24cdf3d81
- 0xd5576f8b7b71ad8f963970f922fc9f5477ebb72a69425e5f0eceef6203a7981b
- 0x4abf06392be817fed1d4142854589c0ecb4a0254010bceee86244cf6d2d411f3
- 0xa9c5ec1f03532da98f64c2c9386083d4c5202ff37eb07bd4beb6b8db6e4b8c1e
- 0x01c26569ec8e231551522ab452fd5d417c3d66f29c7c76886a8ec295a18dd624
- 0x02f64ca19e7d9b09718851d2ce3abf641982580de99411626d894607cf386cd5
- 0x10067354f57fa0cd86b7423e67cc1c7d107d7c9c6823df5246c4fb63b60575e5
- Day root
- 0xd4eed8c0ea3c90ec6f262b19fcc3b849f30cb82a0f84b8b89569e48af7d0c1ee
- Chained
- 0x59305749c32724a02a23c368834d8a36ae9908da93a915e2962fffe01b4e591b
- Published
- On Arc Testnet, block 70772483: 0x813d56041c1efd407e56047129b597b154a1cb26458bb2768fd0a4630ac97345