<< All versions

Skill v1.0.0

currentLLM-judged scan90/100
santosomar/general-secure-coding-agent-skills/cpp-to-dafny-translator
──Details
PublishedOctober 18, 2026 at 07:45 PM
Content Hashsha256:c3147c883c6515c3...
Git SHA47d56bbc24dc
──Files
Content not available for this version — stored from v1.0.1 onwards.
All versions