{"id":"adb2dec2-dd94-4f75-9734-fadcafca959d","shortId":"fp62Vb","kind":"skill","title":"Lean4","tagline":"Lean4 Skills skill by Cameronfreer","description":"","tags":["lean4","skills","cameronfreer"],"capabilities":["skill","source-cameronfreer","category-lean4-skills"],"categories":["lean4-skills"],"synonyms":[],"warnings":[],"endpointUrl":"https://skills.sh/cameronfreer/lean4-skills/lean4","protocol":"skill","transport":"skills-sh","auth":{"type":"none","details":{"install_from":"skills.sh"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on skills.sh · published under cameronfreer/lean4-skills","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:skill:v1","enrichmentVersion":1,"enrichedAt":"2026-05-07T22:42:31.474Z","embedding":null,"createdAt":"2026-05-07T20:43:59.128Z","updatedAt":"2026-05-07T22:42:31.474Z","lastSeenAt":"2026-05-07T22:42:31.474Z","tsv":"'cameronfr':6 'category-lean4-skills' 'lean4':1,2 'skill':3,4 'source-cameronfreer'","prices":[{"id":"2d24aca6-e52a-44f1-9669-c3286ff78d8b","listingId":"adb2dec2-dd94-4f75-9734-fadcafca959d","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"skill-free","isPrimary":true,"details":{"org":"cameronfreer","category":"lean4-skills","install_from":"skills.sh"},"createdAt":"2026-05-07T20:43:59.128Z"}],"sources":[{"listingId":"adb2dec2-dd94-4f75-9734-fadcafca959d","source":"skills_sh","sourceId":"cameronfreer/lean4-skills/lean4","sourceUrl":"https://skills.sh/cameronfreer/lean4-skills/lean4","isPrimary":true,"firstSeenAt":"2026-05-07T20:43:59.128Z","lastSeenAt":"2026-05-07T22:42:31.474Z"}],"details":{"listingId":"adb2dec2-dd94-4f75-9734-fadcafca959d","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"org":"cameronfreer","slug":"lean4","source":"skills_sh","category":"lean4-skills","skills_sh_url":"https://skills.sh/cameronfreer/lean4-skills/lean4"},"updatedAt":"2026-05-07T22:42:31.474Z"}}