Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell) (github.com)

Show HN معرفی یک CLI به نام korb (نوشته‌شده با Haskell) برای سفارش خرید از طریق API موبایل REWE است که خروجی‌اش JSON است. این ابزار از طریق ورود PKCE و استفاده از گواهی‌های mTLS کار می‌کند، امکان جست‌وجوی محصولات، مدیریت سبد و زمان تحویل و ثبت/لغو سفارش را می‌دهد، و همچنین یک «موتور پیشنهاد» مبتنی بر تاریخچه خرید دارد. نویسنده همچنین برای بخش پیشنهاددهی، نسخه‌ای در Lean 4 با چندین ویژگی اثبات‌شده و تست تطبیقی Differential Random Testing برای اطمینان از هم‌ارزی با پیاده‌سازی Haskell ارائه کرده است.