If you find vskill useful, give it a star on GitHub→

LoginSkills Studio Watch Submit Publishers Trust Queue Docs Insights

vskill

Securing the AI skills supply chain.

Skills Studio Watch Publishers Trust Docs Queue Submit Insights GitHub npm SpecWeave

MIT License

v1.0.0 - imperative-to-coq-model-extractor | verified-skill.com | vSkill

<< All versions

Skill v1.0.0

currentLLM-judged scan

arabelatso/skills-4-se/imperative-to-coq-model-extractor

──Details

PublishedMarch 11, 2026 at 01:30 PM

Content Hashsha256:e3b0c44298fc1c14...

Git SHAdiscovery:6f

──Files

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