Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Use when auditing a CAV (Computer Aided Verification) submission for portal readiness, covering the four submission categories (Regular / Short Tool / Short Application / Industrial Experience & Case Studies), the LNCS page limits, the per-category anonymization matrix, the artifact-intent declaration, and desk-reject triage before the AoE paper deadline.
Use when deciding what belongs in a CAV (Computer Aided Verification) paper body versus its optional appendix and artifact, covering the LNCS page limits, the rule that reviewers are not obliged to read the appendix so decision-critical content stays in the body, where full proofs and benchmark tables live, and double-anonymous supplementary material for the anonymized categories.
Use when building or auditing multi-panel mechanistic figures and tables for a Cancer Cell (Cell Press) manuscript — quantification of images, panel logic, image integrity, and legends. It shapes display items; it does not choose statistical tests or write the abstract.
Use when running the final pre-submission preflight for Cancer Cell (Cell Press) — file completeness, STAR Methods / Key Resources Table, deposition accessions, statistics reporting, ethics statements, figure integrity, and portal logistics. It is the last gate before submitting.
Use when preparing an accepted ACM CCS paper for the ACM Digital Library proceedings, covering de-anonymization, the ACM sigconf final format, ACM rights and eRights forms, badge placement from artifact evaluation, incorporation of shepherd and minor-revision requirements, disclosure-timing coordination, registration, and in-person presentation.
Use to convert references to Cell Press author–date style — in-text "(Smith et al., 2021)", an alphabetical reference list by first author with full author lists, journal names spelled out. This is the OPPOSITE of Science's numbered-by-appearance style.
Use to finalize Cell Press display items — column-width sizing, minimum fonts, RGB, show-the-data with defined error bars/n/replicate type, scale bars, colorblind-safe palettes, multi-panel discipline, stand-alone legends, and image integrity.
Use to build Cell's mandatory STAR Methods — the Key Resources Table, the three Resource Availability subsections, Experimental Model and Subject Details, Method Details, and Quantification and Statistical Analysis, in the exact required order.
Use when building or auditing the exhibits of a 《经济学(季刊)》 (China Economic Quarterly, CEQ) manuscript — favoring figures over tables (event-study plots, bin-scatter, model-fit / counterfactual figures) so the main result is legible at a glance, since many readers consume the English abstract plus figures. Use after identification and mechanism are settled.
Use when running the final pre-submission preflight for 《财经研究》 (Journal of Finance and Economics) — format, word count, double-blind, references, anti-plagiarism, author info, and supplementary files.