← The evidence ledger
Evidence row 983118
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 9d918dfa-4cbe-4668-8708-122579b05485
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 6d8c05dd1582b96fa7944225f4aa0212c1a80d81dfadc98372c7ddc4158d1810
- Leaf
- 0x6b3dd6df80768645740235b58af1d28cd80f121c3637633a8228147950918d70
What was observed
{
"count": 6,
"tools": [
{
"description": "Donne la zone ABC d'une commune française (A bis, A, B1, B2 ou C) et ce qu'elle change pour un investissement : Loc'Avantages et les plafonds de loyer de la commune, le logement locatif intermédiaire (LLI), le PTZ, la fin du Pinel. Donne le nom de la commune, son code INSEE ou l'adresse du logement. Quand plusieurs communes portent le nom donné, la réponse les liste avec leur zone : demande laquelle à la personne. La réponse cite la liste officielle des communes et le jour où Miramo l'a relevée : cite-les.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"address": {
"description": "Adresse du logement : numéro, rue, code postal et ville, par exemple « 30 rue de Paris 93100 Montreuil ». Miramo la place avec la Base Adresse Nationale. Passe aussi commune : si l'adresse est placée dans une autre commune, la commune donnée l'emporte. Quand la personne ne donne que sa ville, passe commune seule.",
"maxLength": 200,
"minLength": 3,
"type": "string"
},
"commune": {
"description": "Nom de la commune. Quand plusieurs communes portent ce nom, ajoute le code postal ou le département entre parenthèses : « Montreuil 93100 » ou « Montreuil (93) ». Avec une adresse, sert à la vérifier, et de repli si elle n'est pas trouvée.",
"maxLength": 100,
"minLength": 2,
"type": "string"
},
"inseeCode": {
"description": "Code INSEE de la commune, cinq caractères (93048 pour Montreuil), à ne pas confondre avec le code postal. Vérifié avec commune et address quand elles sont données : un code qui ne correspond pas à la commune nommée ou à l'adresse placée est écarté.",
"pattern": "^(\\d{5}|2[AB]\\d{3})$",
"type": "string"
}
},
"type": "object"
},
"name": "check_abc_zone"
},
{
"description": "Dit si un logement est dans une zone d'un plan d'exposition au bruit d'un aéroport, et laquelle (de A, la plus exposée, à D), avec ce que ça change pour le bail : dans une zone, il faut joindre un diagnostic bruit. Donne l'adresse complète du logement. Miramo lit les plans publiés par l'aviation civile à ce point. Quand Miramo ne peut pas trancher (trop près de la limite d'une zone, plans qui ne répondent pas, territoire sans plan), la réponse le dit et dit où vérifier. La réponse cite les plans et le jour où Miramo les a lus : cite-les.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"address": {
"description": "Adresse complète du logement : numéro, rue, code postal et ville, par exemple « 12 rue Brulée 95190 Goussainville ». Miramo la place avec la Base Adresse Nationale, puis lit les plans d'exposition au bruit à ce point ; une adresse qu'elle ne place pas sur un bâtiment est renvoyée avec le statut address_not_found.",
"maxLength": 200,
"minLength": 3,
"type": "string"
}
},
"required": [
"address"
],
"type": "object"
},
"name": "check_airport_noise_zone"
},
{
"description": "Dit si les loyers sont encadrés (encadrement du niveau des loyers, avec un loyer de référence) à une adresse ou dans une commune française : dans toute la commune, dans une partie seulement ou pas du tout, avec le territoire et l'arrêté préfectoral en vigueur aujourd'hui, ses dates et le jour où Miramo l'a vérifié. Donne l'adresse du logement, le nom de sa commune ou son code INSEE. La réponse dit aussi si Miramo tient le barème du territoire : quand il le tient, appelle ensuite lookup_reference_rent pour le loyer de référence d'un logement.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"address": {
"description": "Adresse du logement : numéro, rue, code postal et ville, par exemple « 30 rue de Paris 93100 Montreuil ». Miramo la place avec la Base Adresse Nationale. Passe aussi commune : si l'adresse est placée dans une autre commune, la commune donnée l'emporte. Quand la personne ne donne que sa ville, passe commune seule.",
"maxLength": 200,
"minLength": 3,
"type": "string"
},
"commune": {
"description": "Nom de la commune. Quand plusieurs communes portent ce nom, ajoute le code postal ou le département entre parenthèses : « Montreuil 93100 » ou « Montreuil (93) ». Avec une adresse, sert à la vérifier, et de repli si elle n'est pas trouvée.",
"maxLength": 100,
"minLength": 2,
"type": "string"
},
"inseeCode": {
"description": "Code INSEE de la commune, cinq caractères (93048 pour Montreuil), à ne pas confondre avec le code postal. Vérifié avec commune et address quand elles sont données : un code qui ne correspond pas à la commune nommée ou à l'adresse placée est écarté.",
"pattern": "^(\\d{5}|2[AB]\\d{3})$",
"type": "string"
}
},
"type": "object"
},
"name": "check_rent_control_perimeter"
},
{
"description": "Dit si une commune française est en zone tendue et dans quelle catégorie : 1 (zone tendue), 2 (zone touristique et tendue) ou hors zone, avec ce que ça change : le préavis du locataire d'un logement loué vide, la hausse du loyer entre deux locataires, la taxe sur les logements vacants. Donne l'adresse du logement, le nom de sa commune ou son code INSEE. Quand plusieurs communes portent le nom donné, la réponse les liste avec leur catégorie : demande laquelle à la personne. La réponse cite la liste officielle des communes et sa dernière mise à jour : cite-les.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"address": {
"description": "Adresse du logement : numéro, rue, code postal et ville, par exemple « 30 rue de Paris 93100 Montreuil ». Miramo la place avec la Base Adresse Nationale. Passe aussi commune : si l'adresse est placée dans une autre commune, la commune donnée l'emporte. Quand la personne ne donne que sa ville, passe commune seule.",
"maxLength": 200,
"minLength": 3,
"type": "string"
},
"commune": {
"description": "Nom de la commune. Quand plusieurs communes portent ce nom, ajoute le code postal ou le département entre parenthèses : « Montreuil 93100 » ou « Montreuil (93) ». Avec une adresse, sert à la vérifier, et de repli si elle n'est pas trouvée.",
"maxLength": 100,
"minLength": 2,
"type": "string"
},
"inseeCode": {
"description": "Code INSEE de la commune, cinq caractères (93048 pour Montreuil), à ne pas confondre avec le code postal. Vérifié avec commune et address quand elles sont données : un code qui ne correspond pas à la commune nommée ou à l'adresse placée est écarté.",
"pattern": "^(\\d{5}|2[AB]\\d{3})$",
"type": "string"
}
},
"type": "object"
},
"name": "check_tense_zone"
},
{
"description": "Donne le loyer de référence d'un logement à une adresse où les loyers sont encadrés (Paris, Lille, Lyon et Villeurbanne, Bordeaux, Montpellier, Seine-Saint-Denis avec Est Ensemble et Plaine Commune), selon l'arrêté préfectoral en vigueur aujourd'hui : le loyer de référence, le majoré (le plafond) et le minoré, en euros par m² et par mois. Avec la surface habitable, donne aussi le loyer maximum hors charges du logement. La réponse nomme l'arrêté, ses dates et le jour où Miramo l'a vérifié : cite-les. Quand isStale est vrai, les montants sont un ordre de grandeur, pas le plafond légal. Hors encadrement, la réponse le dit et renvoie vers l'outil zone tendue de miramo.fr.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"address": {
"description": "Adresse complète du logement : numéro, rue, code postal et ville, par exemple « 14 rue Oberkampf 75011 Paris ». Miramo la place avec la Base Adresse Nationale ; une adresse qu'elle ne place pas sur un bâtiment est renvoyée avec le statut address_not_found.",
"maxLength": 200,
"minLength": 3,
"type": "string"
},
"constructionPeriod": {
"description": "Période de construction de l'immeuble, dans les tranches des arrêtés : after_1990 (après 1990), after_2005 (après 2005), before_1946 (avant 1946), 1946_1970 (entre 1946 et 1970), 1971_1990 (entre 1971 et 1990), 1991_2005 (entre 1991 et 2005). Paris, Lille, Bordeaux, Est Ensemble et Plaine Commune s'arrêtent à after_1990 ; Lyon et Montpellier coupent l'après 1990 en 1991_2005 et after_2005.",
"enum": [
"before_1946",
"1946_1970",
"1971_1990",
"after_1990",
"1991_2005",
"after_2005"
],
"type": "string"
},
"furnished": {
"description": "true si le logement est loué meublé, false s'il est loué vide.",
"type": "boolean"
},
"rooms": {
"description": "Nombre de pièces principales : séjour et chambres, sans la cuisine ni la salle de bains. 4+ à partir de quatre.",
"enum": [
"1",
"2",
"3",
"4+"
],
"type": "string"
},
"surface": {
"description": "Surface habitable du logement, en m². Facultative : avec elle, la réponse donne le loyer maximum hors charges du logement.",
"exclusiveMinimum": 0,
"maximum": 1000,
"type": "number"
}
},
"required": [
"address",
"rooms",
"furnished",
"constructionPeriod"
],
"type": "object"
},
"name": "lookup_reference_rent"
},
{
"description": "Prépare un brouillon de bail de location vide (non meublé) et renvoie un lien vers le générateur de bail de miramo.fr, où la personne le termine : noms des parties, email, PDF et signature. Donne ce que la personne a dit du logement (adresse complète, surface, pièces, période de construction et le reste), du loyer et des charges, des dates et des documents qu'elle joindra. Tout est facultatif ; le site demande ce qui manque. Ne demande ni ne transmets jamais l'identité, l'email ou le téléphone du locataire ou du bailleur : le schéma les refuse. Rien n'est enregistré : le brouillon voyage dans le lien, à présenter en entier.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"annexes": {
"description": "Les documents que la personne joindra au bail : dpe (DPE), noise (Diagnostic bruit), crep (Diagnostic plomb (CREP)), gas_diagnostic (Diagnostic gaz), risk_statement (État des risques), co_ownership_rules (Règlement de copropriété), electrical_diagnostic (Diagnostic électricité). Elle les dépose en PDF sur le site.",
"items": {
"enum": [
"dpe",
"crep",
"gas_diagnostic",
"electrical_diagnostic",
"co_ownership_rules",
"risk_statement",
"noise"
],
"type": "string"
},
"maxItems": 7,
"type": "array"
},
"dates": {
"additionalProperties": false,
"description": "Les dates du bail.",
"properties": {
"plannedSignatureOn": {
"description": "Date de signature prévue, au format AAAA-MM-JJ.",
"format": "date",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
"type": "string"
},
"startsOn": {
"description": "Date de début du bail, au format AAAA-MM-JJ.",
"format": "date",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
"type": "string"
}
},
"type": "object"
},
"property": {
"additionalProperties": false,
"description": "Le logement loué, en location vide (non meublé). Jamais rien sur les personnes.",
"properties": {
"address": {
"description": "Adresse complète du logement : numéro, rue, code postal et ville, par exemple « 14 rue Oberkampf 75011 Paris ». Miramo la place avec la Base Adresse Nationale ; une adresse qu'elle ne place pas sur un bâtiment est renvoyée avec le statut address_not_found.",
"maxLength": 200,
"minLength": 3,
"type": "string"
},
"constructionPeriod": {
"description": "Période de construction de l'immeuble, selon le modèle officiel de bail : before_1949 (Avant 1949), after_2005 (Depuis 2005), from_1949_to_1974 (1949-1974), from_1975_to_1989 (1975-1989), from_1989_to_2005 (1989-2005).",
"enum": [
"before_1949",
"from_1949_to_1974",
"from_1975_to_1989",
"from_1989_to_2005",
"after_2005"
],
"type": "string"
},
"dpeClass": {
"description": "Classe énergie du DPE, de A à G.",
"enum": [
"A",
"B",
"C",
"D",
"E",
"F",
"G"
],
"type": "string"
},
"electricalInstallationOver15Years": {
"description": "Installation intérieure d'électricité de plus de 15 ans : elle rend le diagnostic électricité obligatoire.",
"type": "boolean"
},
"gasInstallationOver15Years": {
"description": "Installation intérieure de gaz de plus de 15 ans : elle rend le diagnostic gaz obligatoire. Laisse vide s'il n'y a pas de gaz ou si la personne ne sait pas.",
"type": "boolean"
},
"habitatType": {
"description": "Type d'habitat : collective (Immeuble collectif), individual (Immeuble individuel).",
"enum": [
"collective",
"individual"
],
"type": "string"
},
"heating": {
"description": "Chauffage : collective (Collectif), individual (Individuel).",
"enum": [
"collective",
"individual"
],
"type": "string"
},
"hotWater": {
"description": "Eau chaude : collective (Collective), individual (Individuelle).",
"enum": [
"collective",
"individual"
],
"type": "string"
},
"itEquipment": {
"description": "Équipements d'accès à internet : box (Box internet), fibre (Fibre optique), phone_socket (Prise téléphonique), collective_antenna (Antenne collective).",
"items": {
"enum": [
"collective_antenna",
"fibre",
"box",
"phone_socket"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"livingAreaSqm": {
"description": "Surface habitable du logement, en m².",
"exclusiveMinimum": 0,
"maximum": 1000,
"type": "number"
},
"mainRoomCount": {
"description": "Nombre de pièces principales : séjour et chambres, sans la cuisine ni la salle de bains.",
"maximum": 20,
"minimum": 1,
"type": "integer"
},
"ownershipRegime": {
"description": "Régime de l'immeuble : co_ownership (Copropriété), sole_ownership (Monopropriété).",
"enum": [
"co_ownership",
"sole_ownership"
],
"type": "string"
},
"privateAccessories": {
"description": "Ce qui est loué avec le logement : cellar (Cave), garden (Jardin), balcony (Balcon), parking (Parking), terrace (Terrasse).",
"items": {
"enum": [
"cellar",
"garden",
"balcony",
"parking",
"terrace"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"sharedAmenities": {
"description": "Équipements communs de l'immeuble : lift (Ascenseur), courtyard (Cour), laundry_room (Laverie), bike_room (Local à vélos), green_space (Espaces verts).",
"items": {
"enum": [
"lift",
"courtyard",
"bike_room",
"green_space",
"laundry_room"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
}
},
"type": "object"
},
"rent": {
"additionalProperties": false,
"description": "Le loyer et les charges.",
"properties": {
"chargesAmount": {
"description": "Montant mensuel des charges, en euros.",
"minimum": 0,
"type": "number"
},
"chargesMode": {
"description": "Mode des charges : provisions (Provisions sur charges avec régularisation annuelle), on_receipts (Paiement périodique des charges récupérables sans provision, sur présentation des justificatifs (décret n° 87-713 du 26 août 1987)), none (Sans objet : aucune charge récupérable pour ce logement, selon déclaration du bailleur (ni taxe d'enlèvement des ordures ménagères ni équipement collectif)).",
"enum": [
"provisions",
"on_receipts",
"none"
],
"type": "string"
},
"monthlyRentExcludingCharges": {
"description": "Loyer mensuel hors charges, en euros.",
"exclusiveMinimum": 0,
"type": "number"
}
},
"type": "object"
}
},
"type": "object"
},
"name": "prepare_lease_draft"
}
]
}What the leaf hashes
{"body":"6d8c05dd1582b96fa7944225f4aa0212c1a80d81dfadc98372c7ddc4158d1810","id":983118,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793236875211129,"prev":null,"subject":"9d918dfa-4cbe-4668-8708-122579b05485","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (242798 rows).
- 0x6b3d95238ee03a520f02fe37fa66414c1ff48368139c2656e9e2ac0d9245fc38
- 0x46e17fc105cd2e68b206ecf098c21c5951779b6a34bdb45eb1c66560686aeadb
- 0xeb7c695f6254e101d629f0033f36820dac39a2504eb1d512c12c73456d8e2cea
- 0xcb918d15d0d6c8ba639919911597dec215faace6d5bd9ef28f400ade544e3f24
- 0x3cd6e8c08a994e4f5aa49ead565e4459710be852348f0e8cfc370449ab17cd09
- 0x0033bbe64cca32bfaf542bb08bd7c41d98d0f1cf0a775afc3d534595d4e57827
- 0xbc1b0f64f9023e34efc5749136f110753b3f6410563ddc7e0c1349bf3110b756
- 0xdcc0cdcf5e0f6857a99fbba28f32c6f8ce78d14db73413cc0d81193a98eb68dd
- 0x95e06acbe64c954335eedb0f7a7506128cb729ab782805a99998e863433db15a
- 0xcd98828af8fa17ea437ac184a4c179255f294199b0d003df52f165555d0634a1
- 0xba53603ad601877200697ac6584211ddfb0d6a9ca84b94892037ea09f28ba05d
- 0xd1b026958b87e7817d492c5f8133035d465e6221f158dbb4a44448c14b220dbc
- 0x0a70f94ba839c32042590eb96f6114034cb5b3ed8dd1b48fb4158efe13cb8084
- 0xec2e740df411d32a080c5e65c8b0ca511ad665b213532cee58525a97aebd2893
- 0x60b5befbd81f025904c8a3936b7ba86e3245ad5b37c615d01d42aa3227e3ed2e
- 0xe2d603cd6f987214550319ad4fa39952b6098bc5c1b20893b6b80e8d82a79934
- 0x91f12a2db1e2c1be07cbe4de3981a37a33051a36d3c3eee5a260804add6d1d75
- 0xd56e61af23709ed9f460471e3c08400c0142ee83e1fd9057e46350d12edf9c07
- Day root
- 0xc050555c6b023f2aefb6536efb9f0760b92c30a0d06c572b7daf63db259ea17c
- Chained
- 0x4cde8bae2042512e1bec11650628f0293556311cc4ea74d99ffddf02b671a7d6
- Published
- On Arc Testnet, block 69753317: 0x9e85c340732f416e431b111fae72f7624870125f7f379af2732eb6c2ba8cf6a1