<< All versions

Skill v1.0.0

currentLLM-judged scan90/100

fstarlang/proof-copilot/specreview

──Details

PublishedOctober 17, 2026 at 09:30 PM

Content Hashsha256:eeebd9f6af4c1463...

Git SHAc833a8cccf76

──Files

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