Maybe (vibe) coding it in lean would be fun