Server definition

Hash: sha256:289c218d612ec9dd411070d8c741385bea6bbddfe78d70d7ef2f8a0b47b98e5d
What it is: What a remote MCP server returned when asked what it offers: 6 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Look up Korean Standard Industrial Classification (KSIC) business type codes.",
      "inputSchema": {
        "properties": {
          "code": {
            "description": "KSIC code letter (A-U). Omit for all.",
            "type": "string"
          },
          "search": {
            "description": "Search term in English or Korean.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_business_types",
      "outputSchema": null
    },
    {
      "description": "Get Korean economic indicators: GDP, CPI, unemployment, interest rate, trade, exchange rates, housing index.",
      "inputSchema": {
        "properties": {
          "indicator": {
            "description": "Specific indicator: gdp, cpi, unemployment, interest_rate, trade, exchange_rates, housing. Omit for all.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_economic_indicators",
      "outputSchema": null
    },
    {
      "description": "Get KRW exchange rates against major currencies. Optionally filter by currency code (e.g. USD, EUR, JPY).",
      "inputSchema": {
        "properties": {
          "currency": {
            "description": "Currency code to filter (e.g. USD, EUR, JPY). Omit for all rates.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_exchange_rates",
      "outputSchema": null
    },
    {
      "description": "Get Korean public holidays for a given year (2024-2026).",
      "inputSchema": {
        "properties": {
          "year": {
            "description": "Year (2024, 2025, or 2026). Default 2026.",
            "type": "number"
          }
        },
        "type": "object"
      },
      "name": "get_holidays",
      "outputSchema": null
    },
    {
      "description": "Get South Korea population data by region. Based on 2024 KOSIS resident registration data.",
      "inputSchema": {
        "properties": {
          "region": {
            "description": "Region name in English or Korean (e.g. \"Seoul\", \"서울\"). Omit for all regions.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_population",
      "outputSchema": null
    },
    {
      "description": "Look up Korean postal codes by district, city, area name, or postal code number.",
      "inputSchema": {
        "properties": {
          "query": {
            "description": "Search query: district name, city, area, or postal code (e.g. \"강남\", \"Gangnam\", \"06011\").",
            "type": "string"
          }
        },
        "required": [
          "query"
        ],
        "type": "object"
      },
      "name": "lookup_postal_code",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:289c218d612ec9dd411070d8c741385bea6bbddfe78d70d7ef2f8a0b47b98e5d | sha256sum