<< All versions

Skill v1.0.0

currentLLM-judged scan90/100

bacoco/lean-goal-guard/goal-lean

──Details

PublishedOctober 19, 2026 at 01:56 PM

Content Hashsha256:e14247ebbab1ef31...

Git SHA5c04b87e4ecc

──Files

Content not available for this version — stored from v1.0.1 onwards.