Robin Saige we check the tools AI agents call

korea realty

app.sallim/korea-realty

Korean real estate: court auctions, 10M+ MOLIT records, subscription notice facts, loan/DSR rules

— the operator's own registry description reported

Publisher app.sallim · first seen 2026-08-12 · endpoint https://realty.sallim.app/mcp?via=official

allow
verdict
rich-slow-shared
cluster
ok_tools
answers
47
tools served

Dependency rating derived

allow
allow — alive & usable · retrieval-public ● · V3 has answer key ◐
allow — because answers ●, 47 tools legible (band A) ●, no confirmed drift in 2 probes ●; not yet checked: truth (1 attempts unverifiable, 0 disagreements)

Cluster rich-slow-shared · distinctiveness 0.909 (unusual). Every figure is a percentile or class within the 11,094-server censussee the whole spectrum.

Does it answer? Q1 · observed
answersalive_tools
latency942 ms
vs populationslow
protocolcurrent
authopen
Can it be used? Q4 · observed
tools47
vs populationhigh
capabilities4
harnessA
Did it hold when checked? Q3–Q4 · derived
identityshared
servers on its host1
servers on its domain2
verifiabilityunassessed
duplicate inventoryno
drift events0
answers true0/0 agree

🔏 Signed receipt rr_1a4372e0a36aff24380f8e77 · ed25519 · key rs-rcpt-2026-08 — this rating is tamper-evident; an agent gets the full signature from check_server and can verify it against the published key.

Q1Does it answer?alive & usable — 2 probes ●evidence ↓
Q2What is it?retrieval-public ● evidence ↓
Q3Can it be checked?V3 has answer key ◐evidence ↓
Q4Did it hold?harness A · truth not yet run · no drift ●evidence ↓
Q5What company does it keep?rich-slow-shared · 1 on its host (context, not verdict) ◐evidence ↓

● observed · ◐ derived · ○ reported — the verdict synthesizes Q1–Q4; Q5 is context. Methodology →

History observed

Every probe we made, oldest → newest (2 shown, 2026-08-12 → 2026-08-14). Green answered · amber answered-but-walled · red no useful answer. A gap in our cadence is a gap in coverage, not evidence about the server.

changelog (2 events)
datetypewhat changed
2026-08-14inventorytools 39 → 47
2026-08-12outcomefirst probe: ok_tools

What kind of tools these are derived

Verification only means something relative to a tool's NATURE — an email-sender has no "true answer", a generator has no answer key. Classification evidence: classified from tool names/descriptions/annotations WE OBSERVED. What checking applies to each kind (the full methodology →):

naturetoolsmeaning what checking applies
retrieval-public44serves public factstruth-checkable against a public source — the V-ladder applies in full
predictive2claims about the futurescoreable only in retrospect — the archive scores yesterday's predictions against today's outcome
unclassified1not classifiable from its textTier-1 only until its tools describe themselves

Tools last seen observed

fetch realty_area_price_bands realty_auction_alerts realty_auction_history realty_auction_sale_rate realty_capital_gains_tax realty_compare_auction_vs_market realty_compare_regions realty_complex_pyeong_price realty_complex_rent_by_pyeong realty_complex_report realty_demographics realty_get_auction_case realty_invest_risk realty_loan_eligibility realty_loan_limit realty_location_scores realty_macro_indicators realty_market_signals realty_member_transfer_check realty_move_in_supply realty_nonapt_prices realty_notice_facts realty_notice_text realty_poi_nearby realty_poi_stats realty_policy_rules realty_predict_price realty_presale realty_presale_cost realty_presale_funding_plan realty_presale_price_trend realty_presale_vs_market realty_reconstruction realty_redevelopment realty_redevelopment_burden realty_region_price_stats realty_region_rankings realty_region_trend_basket realty_rental_yield realty_search_auctions realty_search_complexes realty_subscription_odds realty_subscription_score realty_supply_pipeline report_issue search

Harness readiness observed

Can an agent's harness pick this tool and call it correctly? Graded on the three things an agent reads — name, description, typed parameters. Band A — an agent can pick and call these reliably.

legibility checktools passingok
name is clear & specific47/47
has a description47/47
description is substantive47/47
parameters are typed47/47
parameters are described34/4734/47

47 of 47 tools graded · 47 with a captured input schema. RS-008, Tier-1 — no domain knowledge, applies to any tool. “Alive” is not the same as “usable”.

Truth checks observed

Not yet confirmed — 1 attempt(s) currently unverifiable (rate limits, walls, or unmappable schemas — never counted against the server) · 0 disagreements.

claim classkeyverdictprimary source
tariff-dutyunmappedunverifiableus-hts

Protocol conformance observed

2025-06-18
protocol version
session model
0.46.1
server version realty_mcp

Capabilities: experimental prompts resources tools

Drift observed

No confirmed drift on record. Baseline set 2026-08-14; changes appear here after human review.

raw probe records
probed (UTC) outcomehttpmsprotocol
2026-08-14T19:57:47Zok_tools2009422025-06-18
2026-08-12T05:33:03Zok_tools2008912025-06-18

Watch or embed this verdict

verdict badge

Operators: put the live verdict in your README — it updates with every census, links back here, and is a dated observation, never a warranty:

[![Robin Saige verdict](https://robinsaige.com/badge/app.sallim/korea-realty.svg)](https://robinsaige.com/s/app.sallim/korea-realty)

Depend on it? Subscribe to its change feed — outcome changes and confirmed drift, no account needed. Building on it? The full dossier as JSON — verdict, rating, truth checks, history — stable enough to gate CI on.

← overview