Decide the venue and the category before drafting. CAV — the International Conference on Computer Aided Verification — is the flagship venue for computer-aided formal analysis of hardware and software systems: model checking, SMT and theorem proving, program analysis and synthesis, and their tools. Its papers are Springer LNCS chapters read by verification researchers, so reviewers reward a durable verification contribution with a stated guarantee, not a systems demo or an ML result with a verification label attached.
Cav Topic Selection is a community-contributed Claude Code skill in the general-misc sub-category. It ships as a SKILL.md file that Claude Code auto-discovers under ~/.claude/skills/cav-topic-selection/ and loads when your prompt matches the skill's trigger.
When to invoke it: Use when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a journal (FMSD/JAR/TOCL), and when choosing the right CAV category — Regular, Short Tool, Short Application, or Industrial Experience & Case Study.
The Cav Topic Selection Claude Code skill is built for Claude Code users and developers across all disciplines looking for general-purpose AI assistance. It's part of ClaudSkills (also referred to as Claude Skills or Claude Code Skills) — the open community-curated registry of 174,000+ SKILL.md files for Anthropic's Claude Code agent and the wider Claude ecosystem (Claude API, Claude Agent SDK).
mkdir -p ~/.claude/skills/cav-topic-selection curl -L https://claudskills.com/skills/cav-topic-selection/SKILL.md \ -o ~/.claude/skills/cav-topic-selection/SKILL.md
Or just download SKILL.md directly and drop it into ~/.claude/skills/cav-topic-selection/. Claude Code auto-discovers it on next session.
Skills live at ~/.claude/skills/cav-topic-selection/SKILL.md on macOS/Linux, or %USERPROFILE%\.claude\skills\cav-topic-selection\SKILL.md on Windows. See the full install guide for step-by-step instructions.
Open @claudskills_bot on Telegram, tap Open Desktop App, and the desktop app installs this skill for you. Or share the bot link with a colleague — they get the same one-tap install. Learn more →
The ClaudSkills desktop app installs any skill directly into ~/.claude/skills/ with one click — no terminal required. Pro starts at $9/mo or $149 lifetime.
For the full experience including quality scoring and one-click install features for each skill — upgrade to Pro.
SKILL.md from the source repository to ~/.claude/skills/cav-topic-selection/SKILL.md and restart Claude Code. Both flows are detailed at claudskills.com/install/.SKILL.md file that lives under ~/.claude/skills/<name>/ and tells the Claude Code CLI agent how to perform a specific task (instructions, prompts, allowed tools). Skills are auto-discovered at session start. Cav Topic Selection is one of 67,000+ skills indexed in the open ClaudSkills catalog, classified under the General category. Learn more at /learn/what-is-a-claude-skill/.If you reference this skill in a blog post, paper, or documentation, you can cite it as:
@misc{cav-topic-selection-2026,
author = {brycewang-stanford},
title = {Cav Topic Selection [Claude Code skill]},
year = {2026},
publisher = {ClaudSkills},
url = {https://claudskills.com/skills/cav-topic-selection/}
}Grade A · scanned 2026-08-02 — free static scan against the OWASP Agentic Skills Top 10.
No risk patterns were found in any of the ten OWASP-aligned categories. How grading works ›
Browse all General skills in the ClaudSkills registry, or explore these other picks from the same category:
Part of Acreator Store — Adam Lankamer's AI tools: PerfectStudio · Ucaption · UTagger · AutoXPoster · TestYourSkills · AutomationFlows · Au Naturel · Telegram @acreatorstore
SKILL.md files, not affiliated with, endorsed by, or sponsored by Anthropic.