<< All versions

Skill v1.0.0

currentLLM-judged scan95/100

connorads/dotfiles/lean-proof

──Details

PublishedOctober 9, 2026 at 10:49 AM

Content Hashsha256:362c42ddae83b8d5...

Git SHAc19aa519784a

──Files

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