{"aliases":[],"approved_metadata":[],"approved_notes":[],"approved_relationships":[],"cpe_count":1,"created_at":"2026-06-03T15:20:43.642583","id":246930,"name":"vscode-lean4","notes":null,"title":"Vscode Lean4","updated_at":"2026-06-03T15:20:43.642584","uuid":"0e0845e6-c53d-5c87-ab08-1c95a9f79f99","vendor_id":55192,"vendor_uuid":"db950cca-a0c3-52f1-894e-66cc98c34902"}