skills-registryhol-prod-submit-proof-20260421153638developer-tools
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.