Un desarrollador ha creado una herramienta de línea de comandos (CLI) llamada 'korb' que permite automatizar los pedidos de comestibles de REWE a través de sus APIs. Escrita en Haskell, la herramienta está diseñada para ser utilizada por agentes o asistentes para organizar las compras de REWE, generando resultados en formato JSON. El proceso incluye la adición de artículos a una lista de compras, la creación de una plantilla de pedido basada en compras anteriores, la personalización de la lista con sugerencias y ajustes, la revisión y confirmación del pedido, y finalmente, la realización del pedido con una franja horaria específica. La herramienta también incluye funciones para cancelar pedidos, consultar el historial y descargar recibos digitales (eBons). El desarrollador ha implementado un sistema de verificación formal utilizando Lean 4 para garantizar la precisión de las sugerencias de productos, inspirado en el enfoque de AWS Cedar. La herramienta está disponible para macOS y Linux, aunque requiere certificados mTLS de REWE y una autenticación inicial a través de un navegador. Es importante destacar que este proyecto es no oficial y utiliza APIs de ingeniería inversa que podrían cambiar.
Noticias agregadas con IA