← The evidence ledger
Evidence row 264467
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint e063e4ba-d828-47b5-8617-144faee253e8
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 7db8f5b47a613ed7a4656f5e712808742e26fa379edb80dc2a4c470e50754b05
- Leaf
- 0x18e954b36108270a76afd057bd76919b6900648321b2ad2b9306802c98e9f80c
What was observed
{
"count": 3,
"tools": [
{
"description": "指定したタイムゾーンの現在時刻を取得します。フォーマット文字列には date-fns の形式を使用します(例: 'yyyy-MM-dd HH:mm:ss', 'yyyy年MM月dd日 HH時mm分ss秒')。24時間表記には 'HH' を使用してください。",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"formatStr": {
"default": "yyyy-MM-dd HH:mm:ss",
"description": "フォーマット文字列 (date-fns形式。省略時: 'yyyy-MM-dd HH:mm:ss')",
"minLength": 1,
"type": "string"
},
"timezone": {
"default": "Asia/Tokyo",
"description": "タイムゾーン (IANA 形式。例: 'Asia/Tokyo'。省略時: Asia/Tokyo)",
"minLength": 1,
"type": "string"
}
},
"type": "object"
},
"name": "get-time"
},
{
"description": "国土交通省の不動産情報ライブラリから都道府県内の市区町村一覧を取得します。都道府県コードを指定して検索します。ここで得た市区町村コード(id)は reinfolib-real-estate-price の city 引数に渡せます。",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"area": {
"description": "都道府県コード: 北海道=01, 青森県=02, 岩手県=03, 宮城県=04, 秋田県=05, 山形県=06, 福島県=07, 茨城県=08, 栃木県=09, 群馬県=10, 埼玉県=11, 千葉県=12, 東京都=13, 神奈川県=14, 新潟県=15, 富山県=16, 石川県=17, 福井県=18, 山梨県=19, 長野県=20, 岐阜県=21, 静岡県=22, 愛知県=23, 三重県=24, 滋賀県=25, 京都府=26, 大阪府=27, 兵庫県=28, 奈良県=29, 和歌山県=30, 鳥取県=31, 島根県=32, 岡山県=33, 広島県=34, 山口県=35, 徳島県=36, 香川県=37, 愛媛県=38, 高知県=39, 福岡県=40, 佐賀県=41, 長崎県=42, 熊本県=43, 大分県=44, 宮崎県=45, 鹿児島県=46, 沖縄県=47",
"pattern": "^\\d{2}$",
"type": "string"
},
"language": {
"description": "出力結果の言語 (ja:日本語, en:英語)",
"enum": [
"ja",
"en"
],
"type": "string"
}
},
"required": [
"area"
],
"type": "object"
},
"name": "reinfolib-city-list"
},
{
"description": "国土交通省の不動産情報ライブラリから不動産価格(取引価格・成約価格)情報を取得します。取引時期、地域(都道府県、市区町村、駅)などを指定して検索することが可能。市区町村コードは reinfolib-city-list ツールで取得できます。",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"area": {
"description": "都道府県コード: 北海道=01, 青森県=02, 岩手県=03, 宮城県=04, 秋田県=05, 山形県=06, 福島県=07, 茨城県=08, 栃木県=09, 群馬県=10, 埼玉県=11, 千葉県=12, 東京都=13, 神奈川県=14, 新潟県=15, 富山県=16, 石川県=17, 福井県=18, 山梨県=19, 長野県=20, 岐阜県=21, 静岡県=22, 愛知県=23, 三重県=24, 滋賀県=25, 京都府=26, 大阪府=27, 兵庫県=28, 奈良県=29, 和歌山県=30, 鳥取県=31, 島根県=32, 岡山県=33, 広島県=34, 山口県=35, 徳島県=36, 香川県=37, 愛媛県=38, 高知県=39, 福岡県=40, 佐賀県=41, 長崎県=42, 熊本県=43, 大分県=44, 宮崎県=45, 鹿児島県=46, 沖縄県=47",
"pattern": "^\\d{2}$",
"type": "string"
},
"city": {
"description": "市区町村コード (5桁)",
"pattern": "^\\d{5}$",
"type": "string"
},
"language": {
"description": "出力結果の言語 (ja:日本語, en:英語)",
"enum": [
"ja",
"en"
],
"type": "string"
},
"limit": {
"default": 10,
"description": "取得件数 (デフォルト: 10件)",
"maximum": 100,
"minimum": 1,
"type": "integer"
},
"priceClassification": {
"description": "価格情報区分コード (01:不動産取引価格情報, 02:成約価格情報)",
"enum": [
"01",
"02"
],
"type": "string"
},
"quarter": {
"description": "取引時期(四半期) (1:1月〜3月, 2:4月〜6月, 3:7月〜9月, 4:10月〜12月)",
"enum": [
"1",
"2",
"3",
"4"
],
"type": "string"
},
"station": {
"description": "駅コード (6桁)",
"pattern": "^\\d{6}$",
"type": "string"
},
"year": {
"description": "取引時期(年) (形式: YYYY)",
"pattern": "^\\d{4}$",
"type": "string"
}
},
"required": [
"year"
],
"type": "object"
},
"name": "reinfolib-real-estate-price"
}
]
}What the leaf hashes
{"body":"7db8f5b47a613ed7a4656f5e712808742e26fa379edb80dc2a4c470e50754b05","id":264467,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793034194958276,"prev":null,"subject":"e063e4ba-d828-47b5-8617-144faee253e8","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (296695 rows).
- 0x18e9180e23fa220fbf4d0bfd858dafee83af1f7422ceeb98fd2560ff7a04eba0
- 0x05d498eb97543d5eafe97b72827ac98a406addecc601634f722fe2e3fef10e4d
- 0x8e3d84fe4113df31113fc9ed033582a362fbabca41244e957c24dd2819275fa9
- 0xdfb646a0c30f8c93f657230db54c531a4d38c19f4318d7142d92359360b890cf
- 0xeeb3ef2a70ef85d9f2795c746694204ba39a623fb52ec28d65eab582d2bf36d6
- 0x734a09e3cb10b4aa945a6e89205437a91a96f8457755baa71e86279eaed13a41
- 0x138aeb9cae555d2b354d9cf2bd51971919e678a615e3a54f44215a1b5f245734
- 0x7d0fe68ced8b757f521199aad96f7a86f668b7c40b78645acd4718cdb2b628c6
- 0x28f9c1963ad05d87bf739f42350f55aa6e513d8c6c846588fd639a4b5705fb3d
- 0xcb3e3aedb72ed8e61cbaa8991a4949a4faf974931a0daec4005c2e39529d76a8
- 0x04d98d8716f171bd2264c6c49606521f410107287c5094c713f72cdf2fe1e1ed
- 0x15eab8feed5b3f08165d63b9f1aed508c0624966a05349e051f86f0c188707b5
- 0x32f46c5f73ecbfd4f770f7f760a79bee2afed4b3e7572fa882b3e7dce8df4356
- 0x770e4376196188c7fc9ec40f8e218dc0d1cb92bba5fe0425a0edce27ca9a997f
- 0x60582ab4b41e72eb70eb0bce07fbf0fb4d2b62a8bad5be50f5d16d511adc746c
- 0xc6a4d7899a0f442958e26505011190b7cff2483611c1b94eba9043e0ba9ac36e
- 0x8c756542e482157df0c36464d75c937b845e4423dbbcfad08f0cf8d5a16b9a13
- 0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d
- 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a
- Day root
- 0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8
- Chained
- 0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a
- Published
- On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae