korb is a Haskell-written CLI tool that wraps reverse-engineered REWE grocery delivery APIs, enabling programmatic basket management and order placement. All output is JSON, making it ideal for AI agent automation. The author's workflow uses Claude to manage a weekly grocery order from a Siri-populated shopping list. A notable engineering detail: the suggestion engine is re-implemented in Lean 4 with formally proven correctness properties, and a Differential Random Testing bridge validates the Haskell production code against the proven spec — inspired by AWS Cedar's approach.
Table of contents
// korb// My e2e flow// Installation// Getting started// Usage// API documentation// Platform support// Formal verification with Lean 4// Prior work & attribution// DisclaimerSort: