Skill v1.0.0

currentLLM-judged scan90/100

scottnarmstrong/leanautoformalizationskills/build-proof-dependency-graph

──Details

PublishedOctober 19, 2026 at 03:25 AM

Content Hashsha256:236f48c6f28249a8...

Git SHAbc6e454a119c

──Files

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