Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Use when auditing a SOSP submission for HotCRP readiness, covering the abstract-registration and full-paper deadlines, the 12-page technical-content limit with references excluded, the 7x9-inch two-column format, double-blind rules with paper-ID substitution, conflict declaration under PC-chair audit, and desk-reject triage.
Use when deciding what belongs in a SOSP supplementary document versus the 12-page paper, packaging proofs, extended analyses, and methodological detail as a separate anonymized upload, and keeping review-critical evidence out of material reviewers are not obligated to read.
当稿件被《中国科学：信息科学》(Scientia Sinica Informationis, SSI) 录用、需要完成定稿、校样（清样）校对与最终提交时调用。覆盖录用后清样一校/二校、中英文摘要与作者信息/单位/基金的最终核对、参考文献与图表的清样级检查、版权协议与版面费缴纳、样刊、DOI 与卷期信息、以及与英文姊妹刊 Science China Information Sciences 的区分。适用于从"录用通知"到"正式见刊"之间的定稿阶段，确保清样与作者预期一致、零遗留错误。
当需要按《中国科学：信息科学》(Scientia Sinica Informationis, SSI) 的要求对一篇中文稿件做投稿前完整审计时调用。覆盖官网作者账户注册与 PDF 上传、LaTeX 官方模板排版、栏目自选（评述/论文/快报/学术介绍）、中英文双语摘要与关键词、参考文献与中图分类号、基金著录、版面费与样刊、伦理与学术规范（一稿多投与中英文姊妹刊 Science China Information Sciences 择一投稿），以及退稿/退修高风险项的排查。适用于投稿前最后一轮把关。
当需要为《中国科学：信息科学》(Scientia Sinica Informationis, SSI) 稿件规划附录、补充材料与多媒体附件、并决定哪些内容放正文、哪些放补充时调用。覆盖正文与补充的划分原则（决定录用的证据必须在正文）、附录用途、补充材料的格式与容量、多媒体/演示附件、以及各栏目（评述/论文/快报）的差异化处理。作为国家级大信息学科综合旗舰，本刊正文强调科学价值与创新高度，补充材料服务复核而非承载核心论证；具体格式以官网当期须知为准，未确认者标待核实。
Use when converting a STOC (ACM Symposium on Theory of Computing) acceptance into publishable form — the ACM proceedings version, de-anonymization, rights forms, the CFP-level expectation that the full paper with proofs goes public on arXiv or ECCC by the camera-ready deadline, and TheoryFest talk preparation.
Use when auditing a STOC (ACM Symposium on Theory of Computing) submission for HotCRP readiness — the abstract + table-of-contents + first-12-pages reading rule, single-column 11-point format, double-blind hygiene, the SIGACT prior/simultaneous-publication policy, and deadline-week sequencing before the November cutoff.
Use when preparing an accepted TACAS (ETAPS) paper for its Springer LNCS camera-ready, covering de-anonymization of a double-blind research paper, the llncs.cls format and LNCS metadata (ORCID, references, the Springer copyright/consent-to-publish form), the gold-open-access CC-BY licensing, integrating reviewer-required changes without scope creep, permanentizing artifact links, and adding earned ETAPS artifact badges to the title page.
Use when auditing a TACAS (ETAPS) submission for EasyChair readiness, covering the choice among the four paper categories (research, case-study, regular tool, tool-demonstration), the correct LNCS page limit and llncs.cls format, the per-category blind mode (double-blind research vs single-blind tool/case-study), the mandatory tool-paper artifact deadline, and desk-reject triage before the firm ETAPS deadline.
Use when building or cleaning the exhibits for a The Accounting Review (TAR) manuscript — descriptive, correlation, and regression tables, event-study and discontinuity figures, experimental cell means, and analytical-model exhibits in Chicago house style and within the page budget. Finalizes exhibits; it does not run the analysis (tar-data-analysis) or polish prose (tar-writing-style).