Agent skills

Use when designing the PRISMA flow diagram, forest/funnel plots, and coding/evidence tables for a Review of Educational Research (RER)…

Use when main-paper exhibits are the bottleneck for a The Review of Financial Studies (RFS) manuscript — table layout, standard-error…

Use when building tables and figures for a Social Forces (SF) manuscript.

Use when building or cleaning up the tables and figures of a Strategic Management Journal (SMJ) manuscript.

Use when building or pruning the exhibits of a Journal of International Marketing (JIM) manuscript — the invariance table, per-country…

Tabular Editor documentation search and configuration file guidance (.tmuo, Preferences.json, UiPreferences.json, Layouts.json).

Control Chrome browser via 71 MCP tools - screenshots, clicks, forms, downloads, network capture, TTS, history, cookies, emulation.

Use when packaging a TACAS (ETAPS) artifact for the ETAPS Artifact Badges (Available, Functional, Reusable), covering the two-round model…

Use when preparing an accepted TACAS (ETAPS) paper for its Springer LNCS camera-ready, covering de-anonymization of a double-blind…

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…