{"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"created_at":"2026-06-03T15:20:43.642033","id":55192,"name":"leanprover","notes":null,"product_count":2,"title":"Leanprover","updated_at":"2026-06-03T15:20:43.642034","uuid":"db950cca-a0c3-52f1-894e-66cc98c34902"}