Agent skills for Microsoft Copilot

Use when positioning an IROS submission against robotics-systems literature across ICRA, IROS, RSS, CoRL, RA-L, and T-RO, covering the…

Use when strengthening IROS reproducibility evidence — splitting rerunnable claims from auditable-only real-robot claims, the hardware…

Use when reasoning about IROS peer review — the PaperPlaza Associate-Editor/Editor pipeline, the traditional no-rebuttal…

Use when auditing an IROS paper for the PaperPlaza upload — author PINs and metadata, the content-page limit with references counted in…

Use when preparing the IROS video attachment as evidence — the 60-second/10 MB limit, its own deadline, storyboarding uncut real trials…

Use when deciding whether a project is a strong IROS fit, routing among ICRA, RSS, CoRL, RA-L, T-RO, HRI, and CASE from IROS's seat on the…

Use when planning an IROS project timeline from venue fit through the spring paper deadline, the separate video deadline, the summer…

Fast "is this a problem?" answer for the quick Slack question — pattern-matches against your calibration.

Interface with Isabelle/HOL for classical mathematics formalization

Use when preparing an accepted ISCA paper's artifact for evaluation under the ACM Review and Badging policy — scoping which results are…

Use when designing or auditing the evaluation of an ISCA paper — pinning simulator fidelity to the claims it must carry, documenting…

Use when making an ISCA paper's results regenerable — pinning simulator versions and local patches, archiving per-figure configuration…

Use when running the final pre-deadline audit of an ISCA submission — the two-step abstract-then-paper gate a week apart, the 11-page text…

Use when deciding what accompanies an ISCA submission beyond the 11 reviewed pages — what must live inside the page budget because…

Use when planning a full ISCA campaign on a calendar — working back from the expected mid-November abstract and paper deadlines to freeze…

Build ISML templates with isprint, isset, isloop, isdecorate, isinclude tags, and ${...} expression syntax.

Implement and review in a sibling git worktree created from the latest default branch.

Optimizes delivery menus, pricing strategies, and platform operations for Israeli restaurants across Wolt, 10bis, and Mishloha.

Use when preparing an accepted ISSTA paper for the ACM Digital Library camera-ready, covering de-anonymization, the final ACM sigconf…

Get detailed information about a specific Linear issue

GitHub Issue and PR review thread deep analysis with Codex blind verdict.