Agent skills for Gemini CLI

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

Use when deciding what counts as evidence for an ICDT (International Conference on Database Theory) result — matching-bound complexity…

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

Use when auditing an ICDT (International Conference on Database Theory) regular-paper submission for Microsoft CMT readiness, covering the…

Use when planning an ICDT (International Conference on Database Theory) campaign end to end, running the two-submission-cycle calendar…

Use when implementing 'iCloud Drive', 'ubiquitous container', 'file sync', 'NSFileCoordinator', 'NSFilePresenter', 'isUbiquitousItem'…

Use when debugging 'file not syncing', 'CloudKit error', 'sync conflict', 'iCloud upload failed', 'ubiquitous item error', 'data not…

Use when drafting ICML rebuttals and reviewer-author discussion replies under OpenReview double-blind constraints, where authors respond…

Use when auditing an ICML main-track submission for OpenReview, LaTeX formatting, 8-page body, anonymity, supplementary material, impact…

Use when deciding whether a manuscript fits ICML, choosing the main research track versus the ICML Position Papers track or another venue…

Select semantically appropriate icons for websites using Lucide, Heroicons, or Phosphor.

Apply opacity to the icon container layer, not to its strokes or fills via alpha-tinted currentColor.

Generate a coordinated icon pack as SVG icons.

Search icons through HTTP API and retrieve SVG strings with curl.

Specify an icon system — grid, sizing, stroke weight, naming, categories, and implementation.

Apply iconic representation — using simplified visual symbols to communicate function, status, or category at a glance.

Apply arbitrary and symbolic icon design — using forms with no inherent meaning that depend on convention to communicate (the hamburger…

Build and tune a reusable prompt for deciding whether companies match an ideal customer profile.

When the user is writing the story portion of a launch video or demo and needs the framing where the founder pretends to BE the ICP…

Use when converting an accepted ICRA paper into its final form — the 8-page total limit including references, de-anonymization after…

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