Agent skills for Claude Desktop

Use when designing or auditing a TACAS (ETAPS) evaluation, covering shared verification benchmarks (SV-COMP-style task sets), fair…

Use when positioning a TACAS (ETAPS) submission against the verification literature across TACAS, CAV, VMCAI, FMCAD, SPIN, and journals…

Use when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs…

Use when auditing a TACAS (ETAPS) submission for EasyChair readiness, covering the choice among the four paper categories (research…

Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the…

Use when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a…

Use when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory…

Use when revising a TACAS (ETAPS) paper for a clear construction-or-analysis contribution on the first page, a stated…

Analyze all vault tags: find unused, orphan, near-duplicate, over-used, and under-used tags.

This skill should be used when the user asks to 'manage tag vocabulary', 'update raindrop tags', 'sync tag vocabulary', 'curate tags'…

Performs comprehensive preflight validation of Bicep deployments to Azure, including template syntax validation, what-if analysis, and…

When user is asking for guidance for which role to assign to an identity given desired permissions, this agent helps them understand the…

Integrate PayPal payment processing with support for express checkout, subscriptions, and refund management.

This skill should be used when the user asks "why is p99 bad when p50 is fine", "how do I reduce tail latency", "should I use hedged…

Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics

Comprehensive Tailwind CSS utility-first styling patterns including responsive design, layout utilities, flexbox, grid, spacing…

Tailwind CSS v4.2 browser-runtime patterns for HyperFrames compositions.

Skill for creating and managing a Design System using Tailwind CSS and shadcn/ui.

Tailwind CSS v4 usage guide and v3-to-v4 differences.

Build scalable design systems with Tailwind CSS v4, design tokens, component libraries, and responsive patterns.

Set up Tailwind v4 + shadcn/ui themed UI with dark mode.