fstarlang/fstar/fstarverifier

fstarlang·Coding·fstarlang/fstar·.github/skills/fstarverifier/SKILL.md ↗·Updated Mar 13, 2026

Community-submitted skill from https://github.com/FStarLang/FStar

community

Install

# npm
$ npx vskill install fstarlang/fstar/fstarverifier

# bun
$ bunx vskill install fstarlang/fstar/fstarverifier

# pnpm
$ pnpx vskill install fstarlang/fstar/fstarverifier

# yarn
$ yarn dlx vskill install fstarlang/fstar/fstarverifier

# alternative
$ npx vskill install fstarlang/fstar --skill fstarverifier

── Security ────────────────────────────────────────

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

── Quality Evaluation ──────────────────────────────

No evaluation data available yetView eval results →

Popularity

3.0kstars250forks487d trend

6d ago

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

Cline

Amp

Roo Code

Goose

Continue

Kilo Code

Junie

Trae

OpenHands

Qwen CodeAI AgentTabnine ChatSourcegraph CodyAmazon QFirebase GenkitSweepDevinPhindMentatClaude DesktopAiderGPT PilotPlandexbolt.newv0

Replit AgentAnseTypingMindBetterChatGPTLibreChatWarp AIPiecesFig AI

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/fstarlang/fstar/fstarverifier/badge)](https://verified-skill.com/skills/fstarlang/fstar/fstarverifier)