Learning & Documentation Agent Skills for Codex CLI

Use when converting a SODA (ACM-SIAM Symposium on Discrete Algorithms) acceptance into a correct SIAM proceedings entry — following the…

Use when deciding whether and how experiments belong in a SODA (ACM-SIAM Symposium on Discrete Algorithms) paper — SODA's scope includes…

Use when positioning a SODA (ACM-SIAM Symposium on Discrete Algorithms) paper in the algorithms literature — tracing bound lineages across…

Use when hardening the verifiability of a SODA (ACM-SIAM Symposium on Discrete Algorithms) paper, where reproducibility means checkable…

Use when reasoning about how a SODA (ACM-SIAM Symposium on Discrete Algorithms) submission is evaluated — the per-edition program…

Use when organizing the back matter of a SODA (ACM-SIAM Symposium on Discrete Algorithms) submission — there is no supplementary channel…

Use when deciding whether a result is SODA-shaped (ACM-SIAM Symposium on Discrete Algorithms) — concrete algorithmic problems, data…

Use when writing or revising a SODA (ACM-SIAM Symposium on Discrete Algorithms) paper — headline bounds stated exactly, the title-page…

Guides researchers through the preparation, framing, and formatting of manuscripts for the Chinese management journal 《软科学》 (Soft Science).

Software Engineering: 35 concepts, no maths assumed.

Generate clear explanations of algorithm solutions

Use when writing or creating new Standard Operating Procedures (SOPs) for AI agents.

Use when updating, versioning, deprecating, or maintaining existing Standard Operating Procedures.

Master storyteller for compelling narratives using proven frameworks.

Use when preparing a SOSP artifact for the post-acceptance evaluation run by the sysartifacts community, registering within days of…

Use when deciding whether a systems project is SOSP-shaped — a built and measured artifact embodying an extractable principle in operating…

Use when drafting or revising SOSP prose — leading with a design principle rather than a feature list, building the intro's…

Apply a SOUL.md identity to content generation, incorporating worldview, opinions, and character

Improve an existing SOUL.md by identifying vague sections, suggesting missing content, and generating calibration examples

Generate an AIWG voice profile from an existing SOUL.md identity file

Look up current documentation for a library or topic via Context7.