Gravel is a Jakarta-based digital platform that connects users with construction workers and provides services for hiring, contract management, on-demand home repairs, and ordering construction tools and materials, with plans for international expansion.