T3 VERIFIED

formal-land/rocq-of-rust/rocq-simulate-author

formal-land·Coding·formal-land/rocq-of-rust·RocqOfRust/skills/rocq-simulate-author/SKILL.md ↗·Updated Mar 19, 2026

formal-land/rocq-of-rust

community

Install

# npm
$ npx vskill install formal-land/rocq-of-rust/rocq-simulate-author

# bun
$ bunx vskill install formal-land/rocq-of-rust/rocq-simulate-author

# pnpm
$ pnpx vskill install formal-land/rocq-of-rust/rocq-simulate-author

# yarn
$ yarn dlx vskill install formal-land/rocq-of-rust/rocq-simulate-author

# alternative
$ npx vskill install formal-land/rocq-of-rust --skill rocq-simulate-author

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

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

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

No evaluation data available yetView eval results →

Popularity

1.1kstars40forks357d trend

18d 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/formal-land/rocq-of-rust/rocq-simulate-author/badge)](https://verified-skill.com/skills/formal-land/rocq-of-rust/rocq-simulate-author)