Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Use when auditing an IEEE S&P (Oakland) submission for HotCRP readiness, including the registration freeze with ORCID matching, the 13-page/18-page compsoc format, anonymization, the Ethics Considerations field, SoK checkbox, conflict declarations, and the desk-reject triggers specific to S&P cycles.
Use when deciding what goes in an IEEE S&P (Oakland) paper's appendix versus the 13-page body, including the 5-page references-and-appendices allowance, the rule that reviewers need not read appendices, marking requirements past page 13, and what must never be relegated out of the reviewed body.
Use when preparing an accepted IJCAI or IJCAI-ECAI paper for camera-ready submission, author de-anonymization, author-order checks, copyright and proceedings metadata, final formatting, source/package readiness, in-person presentation obligations, and artifact release timing.
Use when auditing an IJCAI or IJCAI-ECAI main-track submission for Chairing Tool readiness, abstract and author-information deadlines, page limits, double-blind anonymity, supplementary files, reproducibility, resubmission information, author limits, dual-submission policy, and LLM-use policy.
Use when preparing IJCAI or IJCAI-ECAI supplementary material, technical appendices, ZIP files, proofs, derivations, data, source code, and resubmission files under deadline, format, size, anonymity, and reviewer-discretion constraints.
Use when the computational exhibits — performance profiles, runtime-vs-size plots, and results tables — are dense, misleading, or do not answer the question for an INFORMS Journal on Computing (IJOC) manuscript. Designs exhibits that make the computational claim legible; it does not generate the underlying results.
Use when preparing an accepted ACM IMC paper for the proceedings, covering systematic de-anonymization, finalizing the Ethics and artifact-availability statements, permanentizing dataset and code links to DOI-issuing archives, satisfying the availability shepherd, Community Contribution Award eligibility, and ACM production checks.
Use when running the final pre-submission preflight for an IMF Economic Review (IMFER) manuscript via Editorial Manager — double-blind anonymization, italicized abstract with JEL codes, Chicago style, separate author-bio file, and the data-availability statement. Final checks; it does not draft content (imfer-writing-style) or plan the rebuttal (imfer-rebuttal).
Use when an IMF Economic Review (IMFER) manuscript's exhibits must communicate an international-macro result to a dual academic/policy audience — transparent country coverage, readable cross-country panels, no significance asterisks. Builds the exhibits; it does not run the robustness behind them (imfer-robustness) or write the prose (imfer-writing-style).
Use when preparing an accepted IEEE INFOCOM paper for its IEEE Xplore camera-ready, covering de-anonymization, the IEEEtran final format and page budget, the IEEE electronic Copyright Form (eCF), PDF eXpress validation, the author-registration requirement, integrating reviewer-required changes without scope creep, and permanentizing any released artifact links.