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 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 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.
Generates Iterator pattern for PHP 8.4. Creates sequential access to aggregate elements without exposing underlying representation, with…
Read-only Itô basket and prediction-market data skill.
Design background Data Atlas style agents for Itô basket research, market discovery, parameter drafting, and human-in-the-loop editing.
Design forms that minimize friction, prevent errors, and guide users to successful completion.
Convert an approved PRD or clear requirements into an implementation-ready technical spec with scope, interfaces, and acceptance criteria.
AWS Cognito user authentication and authorization service.
Automates browser interactions for web testing, form filling, screenshots, and data extraction.
Builds WebXR experiences for Meta Quest and Horizon OS using the Immersive Web SDK (IWSDK) — ECS architecture, Three.js integration…
Use when publishing local Markdown as a new i讯飞 docx document or updating an approved existing docx document.
Guides authors through the specialized submission, framing, and formatting requirements for the Journal of Shanghai University of Finance…
This skill enables Claude to analyze and optimize database query performance.
This skill automates database archival processes.
This skill leverages the database-diff-tool plugin to compare database schemas, generate migration scripts, and provide rollback procedures.
This skill enables Claude to design and visualize database schemas.