{"serverId":"mcp-registry/io.github.lazymac2x/govdata-korea","tools":[{"name":"get_business_types","fixed":{"name":"get_business_types","description":"Look up Korean Standard Industrial Classification (KSIC) business type codes.","inputSchema":{"type":"object","properties":{"code":{"type":"string","description":"KSIC code letter (A-U). Omit for all."},"search":{"type":"string","description":"Search term in English or Korean."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":91,"tokensAfter":91},{"name":"get_economic_indicators","fixed":{"name":"get_economic_indicators","description":"Get Korean economic indicators: GDP, CPI, unemployment, interest rate, trade, exchange rates, housing index.","inputSchema":{"type":"object","properties":{"indicator":{"type":"string","description":"Specific indicator: gdp, cpi, unemployment, interest_rate, trade, exchange_rates, housing. Omit for all."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":100,"tokensAfter":100},{"name":"get_exchange_rates","fixed":{"name":"get_exchange_rates","description":"Get KRW exchange rates against major currencies. Optionally filter by currency code (e.g. USD, EUR, JPY).","inputSchema":{"type":"object","properties":{"currency":{"type":"string","description":"Currency code to filter (e.g. USD, EUR, JPY). Omit for all rates."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":86,"tokensAfter":86},{"name":"get_holidays","fixed":{"name":"get_holidays","description":"Get Korean public holidays for a given year (2024-2026).","inputSchema":{"type":"object","properties":{"year":{"type":"number","description":"Year (2024, 2025, or 2026). Default 2026."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":63,"tokensAfter":63},{"name":"get_population","fixed":{"name":"get_population","description":"Get South Korea population data by region. Based on 2024 KOSIS resident registration data.","inputSchema":{"type":"object","properties":{"region":{"type":"string","description":"Region name in English or Korean (e.g. \"Seoul\", \"서울\"). Omit for all regions."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":85,"tokensAfter":85},{"name":"lookup_postal_code","fixed":{"name":"lookup_postal_code","description":"Look up Korean postal codes by district, city, area name, or postal code number.","inputSchema":{"type":"object","required":["query"],"properties":{"query":{"type":"string","description":"Search query: district name, city, area, or postal code (e.g. \"강남\", \"Gangnam\", \"06011\")."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":92,"tokensAfter":92}],"toolsChanged":6,"tokensSaved":0,"todo":[],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}