T3 VERIFIED

fstarlang/fstar/fstarverifier

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

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.0kstars249forks407d trend

20d 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)