Server definition

Hash: sha256:f5fefa29e1b790d3df2fa2950a3ad34985b253edd6a6b65459d02fe5386f4025
What it is: What a remote MCP server returned when asked what it offers: 8 tools

The blob, as servednamed by its sha256

{
  "instructions": "SeatWiFi tracks in-flight WiFi: which provider (Starlink, Viasat, Gogo, Panasonic, Amazon Leo) is fitted to which aircraft, whether it is free, how fast it is, and how far each airline's Starlink rollout has progressed.\n\nUse these tools whenever someone asks about internet, WiFi, connectivity, streaming, or working online on a specific flight, airline, aircraft type, or tail number — including \"will I have WiFi on my flight\", \"is Starlink on this route\", and \"which airline has the best WiFi\".\n\nPick a tool by what the user gave you:\n- a flight number -> get_wifi_facts (most detailed; add the flight date when known)\n- an airline -> get_airline_wifi, then get_rollouts for Starlink timelines\n- a tail number -> get_tail_info\n- speed or \"is it fast enough for calls\" -> get_speed_stats\n- a name or partial term -> search_wifi\n\nAnswers are predictions from fleet data, not live readings. Always pass on the confidence or probability the tools return rather than stating WiFi as certain.",
  "tools": [
    {
      "description": "WiFi providers an airline uses fleet-wide, plus a fleet summary and whether WiFi is free. Use when the question is about the airline rather than one flight.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "airline_code": {
            "description": "IATA airline code, e.g. \"UA\" for United, \"DL\" for Delta",
            "type": "string"
          }
        },
        "required": [
          "airline_code"
        ],
        "type": "object"
      },
      "name": "get_airline_wifi",
      "outputSchema": null
    },
    {
      "description": "Shorter WiFi lookup for a flight number: provider, confidence, airline, aircraft, and Starlink status. Use get_wifi_facts instead when you need the date, tail number, or reasoning.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "flight_number": {
            "description": "IATA flight number, e.g. \"UA123\" or \"DL456\"",
            "type": "string"
          }
        },
        "required": [
          "flight_number"
        ],
        "type": "object"
      },
      "name": "get_flight_wifi",
      "outputSchema": null
    },
    {
      "description": "Starlink and satellite WiFi rollout progress per aircraft type: status (complete, in_progress, planned, announced), fleet percentage, and expected completion. Omit airline_code for every tracked airline.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "airline_code": {
            "description": "Optional IATA airline code to filter rollouts, e.g. \"UA\"",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_rollouts",
      "outputSchema": null
    },
    {
      "description": "Crowd-sourced in-flight WiFi speed reports: average download/upload Mbps, latency, and a per-provider breakdown. Use for \"is the WiFi fast enough\" questions. Pass a flight_number or an airline_code, not both.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "airline_code": {
            "description": "IATA airline code, e.g. \"UA\"",
            "type": "string"
          },
          "flight_number": {
            "description": "IATA flight number, e.g. \"UA123\"",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_speed_stats",
      "outputSchema": null
    },
    {
      "description": "WiFi provider history for one aircraft by tail number, including crowd-sourced reports and fleet assignment. Use when the exact airframe is known.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "tail_number": {
            "description": "Aircraft registration / tail number, e.g. \"N12345\"",
            "type": "string"
          }
        },
        "required": [
          "tail_number"
        ],
        "type": "object"
      },
      "name": "get_tail_info",
      "outputSchema": null
    },
    {
      "description": "Best answer for \"will this flight have WiFi\". Predicts the WiFi provider for a flight number on a given date, with probability, the tail number expected to operate it, aircraft type, and the airline fleet fallback. Prefer this over get_flight_wifi.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "date": {
            "description": "Flight date in YYYY-MM-DD format. Defaults to today.",
            "type": "string"
          },
          "flight_number": {
            "description": "IATA flight number, e.g. \"UA123\"",
            "type": "string"
          }
        },
        "required": [
          "flight_number"
        ],
        "type": "object"
      },
      "name": "get_wifi_facts",
      "outputSchema": null
    },
    {
      "description": "Every airline SeatWiFi tracks, with its WiFi providers. Large response — use search_wifi or get_airline_wifi when you know which airline you want.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "list_airlines",
      "outputSchema": null
    },
    {
      "description": "Free-text search across airlines and flights when you only have a name or partial term. Use a specific tool instead when you already have a flight number, airline code, or tail number.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "query": {
            "description": "Search query, e.g. \"United\" or \"UA123\"",
            "type": "string"
          }
        },
        "required": [
          "query"
        ],
        "type": "object"
      },
      "name": "search_wifi",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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