<< All versions

Skill v1.0.0

currentLLM-judged scan95/100

yvgude/lean-ctx/lean-ctx-review

──Details

PublishedSeptember 25, 2026 at 10:59 PM

Content Hashsha256:eedf71a121726ef0...

Git SHA1ca1ffcc6fd9

──Files

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