<< All versions

Skill v1.0.0

currentLLM-judged scan90/100

majiayu000/claude-skill-registry-data/agda

──Details

PublishedOctober 3, 2026 at 07:33 PM

Content Hashsha256:10535d9d9c4be3aa...

Git SHA

──Files

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