T3 VERIFIED

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

arabelatso·Coding·arabelatso/skills-4-se·skills/imperative-to-coq-model-extractor/SKILL.md ↗·Updated Mar 20, 2026

Source check pending

This skill was recently updated. Verifying source availability...

ArabelaTso/Skills-4-SE

community

Install

# npm
$ npx vskill@latest install arabelatso/skills-4-se/imperative-to-coq-model-extractor

# bun
$ bunx vskill@latest install arabelatso/skills-4-se/imperative-to-coq-model-extractor

# pnpm
$ pnpx vskill@latest install arabelatso/skills-4-se/imperative-to-coq-model-extractor

# yarn
$ yarn dlx vskill@latest install arabelatso/skills-4-se/imperative-to-coq-model-extractor

# alternative
$ npx vskill@latest install arabelatso/skills-4-se --skill imperative-to-coq-model-extractor

──Security

Tier 1PASS 95/100Tier 2PASSView full security report →

──Quality Evaluation

No evaluation data available yetView eval results →

Popularity

63stars5forks217d trend

152d ago

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

ClineAmp

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/arabelatso/skills-4-se/imperative-to-coq-model-extractor/badge)](https://verified-skill.com/skills/arabelatso/skills-4-se/imperative-to-coq-model-extractor)