{"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"created_at":"2026-11-03T10:16:23.937814","id":58521,"name":"rocq-prover","notes":null,"product_count":1,"title":"Rocq Prover","updated_at":"2026-11-03T10:16:23.937818","uuid":"fb3ddfbd-2250-5a38-ae30-ac69c4d64869"}