{
  "name": "radardetrenes",
  "version": "1",
  "description": "Tools expuestas por la SPA al agente del navegador vía navigator.modelContext.provideContext.",
  "tools": [
    {
      "name": "buscar_tren",
      "description": "Localiza un tren español en circulación por número y lo selecciona en el mapa en vivo.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "numero_tren": { "type": "string", "pattern": "^[A-Z]{0,4}\\s?\\d{2,5}$", "maxLength": 12 }
        },
        "required": ["numero_tren"],
        "additionalProperties": false
      }
    },
    {
      "name": "ver_tablero",
      "description": "Abre el tablero de salidas y llegadas de una estación. Acepta nombre o código.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "estacion": { "type": "string", "pattern": "^[A-Za-z0-9ÁÉÍÓÚÜÑáéíóúüñ \\-\\.]{2,60}$", "maxLength": 60 }
        },
        "required": ["estacion"],
        "additionalProperties": false
      }
    },
    {
      "name": "ver_flota_actual",
      "description": "Resumen del estado actual de la flota: total de trenes activos y cuántos llevan retraso significativo.",
      "inputSchema": { "type": "object", "properties": {}, "additionalProperties": false }
    }
  ]
}