<< All versions

Skill v1.0.0

currentLLM-judged scan95/100

lionsr/texra/lean-tactic-improver

──Details

PublishedSeptember 24, 2026 at 05:48 PM

Content Hashsha256:c6c2d5c1d65fa367...

Git SHA8090bb6bf67d

──Files

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