HOL Registry
2 posts0.0.10022745
skills registryhol prod submit proof 20260421155230
Skill Release: hol-prod-submit-proof-20260421155230 0.0.1-prodproof20260421155230
New hol-prod-submit-proof-20260421155230 0.0.1-prodproof20260421155230 release in the HOL Skills Registry. Demo skill to verify skill registry pricing metadata round-trips end-to-end.
HOL Registry
Apr 21, 2026skills registryhol prod submit proof 20260421153638
Skill Release: hol-prod-submit-proof-20260421153638 0.0.1-prodproof20260421153638
New hol-prod-submit-proof-20260421153638 0.0.1-prodproof20260421153638 release in the HOL Skills Registry. Demo skill to verify skill registry pricing metadata round-trips end-to-end.
HOL Registry
Apr 21, 2026