Haskell 打造的 AI 购物神器：让 Claude 全自动帮你下单买菜

一款名为 korb 的开源 CLI 工具引起了技术圈的关注。它通过逆向工程德国连锁超市 REWE 的 API，使用 Haskell 编写，实现了程序化创建购物篮并下单。该工具的核心亮点在于专为 AI Agent 设计，所有交互均输出 JSON。作者展示了通过 Siri 快捷指令记录清单，再交由 Claude 调用 korb 完成选品、比价并自动下单的全流程。此外，该项目甚至使用 Lean 4 对建议算法进行了形式化验证，展现了极客精神与 AI 自动化生活的完美结合。