Agent skills for Codex CLI

Control iTerm2 terminals. Use when splitting panes, sending commands to sessions, checking session output, setting badges, creating…

Use to adapt the idea of an "artifact" to a pure-theory venue — at ITCS there is no artifact-evaluation track, no code, and no badges; the…

Use to operate under the reality that ITCS has no rebuttal or author-response phase — pre-empting reviewer objections inside the…

Use when preparing an accepted ITCS paper for open-access publication in LIPIcs — switching to the lipics-v2021 document class…

Use when deciding what counts as evidence for an ITCS theory claim — proofs as the primary evidence, worked examples and separations that…

Use when positioning an ITCS paper against the theory literature — writing the delta that proves the model/question is genuinely new…

Use to make an ITCS paper's mathematics independently checkable — complete proofs of every central claim, self-contained definitions…

Use to model the ITCS reviewing pipeline — a program committee plus external reviewers, conceptual-novelty weighting, lightweight…

Use when auditing an ITCS submission for HotCRP readiness — the early-September abstract-then-paper deadlines, single-column >= 11pt…

Use when splitting an ITCS paper's content between the body, the appendix, and the arXiv/ECCC/ePrint full version — deciding by what a…

Use when deciding whether a theoretical-computer-science result belongs at ITCS or should be routed to STOC, FOCS, SODA, CCC, ICALP, TCC…

Use to plan an ITCS campaign end to end on its single annual cycle — backward from the early-September deadline through the no-rebuttal…

Use when drafting or revising an ITCS paper's abstract, introduction, and technical presentation so the conceptual innovation lands before…

Item distribution patterns for Valkyrie MoM.

Implement non-trivial codebase changes by reconciling scoped instructions, current documentation, runtime behavior, dependency guidance…

Apply a prompt-agnostic execution and verification loop to any substantial task while preserving the original request.

Run tasks in a loop until goals are met — use for iterative refinement, polling, or convergence

Inspect the availability of ML training on a completed Itô compute booking and, when the canonical backend becomes available, hand off an…

AWS Bedrock foundation models for generative AI.

AWS Identity and Access Management for users, roles, policies, and permissions.

AWS SNS notification service for pub/sub messaging.