Learning & Documentation Agent Skills for Codex CLI

Use when preparing the "artifact" of an ICDT (International Conference on Database Theory) paper, which at a pure-theory venue is the…

Use when responding to ICDT (International Conference on Database Theory) referees — principally the first-cycle Revise-and-resubmit…

Use when strengthening the verifiability of an ICDT (International Conference on Database Theory) paper — the theory-venue analogue of…

Use when designing or auditing the experimental section of an ICRA paper — real-robot versus simulation-only evidence, trial counts and…

Use when building or auditing the related-work section of an ICRA paper — covering the conference's own recent proceedings plus IROS, RSS…

Use when explaining or strategizing around ICRA's review pipeline — the RAS Conference Editorial Board of Editors and Associate Editors…

Use when drafting or tightening an ICRA manuscript — leading with the robot task and physical constraint, compressing a systems story into…

Use when preparing an artifact for the ICSE Artifact Evaluation track after paper acceptance, covering the ACM badge system (Available…

Use when drafting an ICSE author response or executing a Major Revision, covering criterion-targeted replies to research-track reviews…

Use when designing or auditing the evaluation of an ICSE research-track paper, covering subject and benchmark selection, baseline…

Use when building the related-work and positioning sections of an ICSE research-track paper, covering the literature lanes SE reviewers…

Use when reasoning about how an IEEE ICSME research submission is evaluated, covering double-anonymous review, the early-decision cut that…

Turn a short idea, topic, or one-line prompt into a finished video.

Use when making the inferential backbone of a Review of Economic Dynamics (RED) manuscript credible, adapting to the paper type.

AgentSkill for https://idx.md. Use the index to locate AI agent library topics and fetch HEAD/BODY markdown.

Use when targeting IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) or deciding whether a…

Use when targeting IEEE International Conference on Software Maintenance and Evolution (ICSME) or deciding whether a computer-science…

Use when targeting IEEE International Symposium on Mixed and Augmented Reality (ISMAR) or deciding whether a computer-science manuscript…

Use when reasoning about IEEE S&P (Oakland) peer review, including the rounds inside each cycle, early-reject notices, the rebuttal for…

Use when targeting IEEE Transactions on Automatic Control (TAC) or deciding whether a systems-and-control manuscript fits this venue.

Use when targeting IEEE Transactions on Communications (TCOM) or deciding whether a communication-systems manuscript fits this venue.