Agent skills for Microsoft Copilot

Use when preparing a SOSP camera-ready after acceptance, working with an assigned shepherd toward the final deadline, expanding from the…

Use when positioning a SOSP submission against the systems literature — the SOSP/OSDI lineage a PC expects you to know, structural…

Use when hardening the reproducibility of a SOSP paper's results before submission — pinning the OS-level environment, recording hardware…

Use when reasoning about how a SOSP submission is evaluated — double-blind HotCRP reviewing, staged review rounds, PC-chair-audited…

Use when auditing a SOSP submission for HotCRP readiness, covering the abstract-registration and full-paper deadlines, the 12-page…

Use when deciding what belongs in a SOSP supplementary document versus the 12-page paper, packaging proofs, extended analyses, and…

Detects and alerts on prompt injection backdoors in agent identity files (SOUL.md) — runs as a startup check or background watcher.

Generate custom sound effects from a description — completion chimes, notification blips, alert/error buzzers, success jingles, UI clicks…

Registering sound marks and motion marks for jingles and animations: Fashion house wants to protect jingle or logo animation.

Analyze data source characteristics including update frequency, volume patterns, and schema stability.

Streamlines Git workflows, commit standards, and version control operations for automated development tasks.

Comprehensive C++ code review for memory safety, modern C++ idioms, concurrency, and security.

Show learned instincts (project + global) with confidence

Archive a completed change in the experimental workflow

Comprehensive Python code review for PEP 8 compliance, type hints, security, and Pythonic idioms.

Load the most recent session file from ~/.Codex/sessions/ and resume work with full context from where the last session ended.

Design a source evaluation protocol using lateral reading and credibility checks for digital information.

Grounds every implementation decision in official documentation.

Source-driven technical research and Chinese reporting for open-source projects, frameworks, libraries, applications, and infrastructure…

Cross-validates research facts and evaluates source credibility before content creation to ensure factual accuracy.

Publish static page artifacts to SourceCraft Sites (Yandex infrastructure, works in Russia), with advisory image optimization and an…