Learning & Documentation Agent Skills for Codex CLI

Use when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs…

Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the…

Use when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a…

Use when revising a TACAS (ETAPS) paper for a clear construction-or-analysis contribution on the first page, a stated…

Use when editing or adding dictionary entries in the taerv_czdin_jihua project, especially when handling entry structure, definition…

Manages and crafts long-form Chinese novels using file-based story covenants, narrative tension tracking, and anti-AI writing rules.

Manages personal book collections by organizing metadata, tracking reading progress, and automating book delivery to devices.

Generates single-speaker talking avatar videos from natural language prompts with automated voice selection, script refinement, and…

Generates talking digital human videos across varied scenes and scripts while maintaining consistent character identity using…

Package an existing talking-head / interview / podcast video with timed, designed GRAPHIC OVERLAY cards — kinetic titles, lower-thirds…

Optimizes academic manuscripts for submission to 《税务研究》(Taxation Research) by ensuring alignment with journal-specific standards and…

Statefully teach the user a new skill or concept over multiple sessions within the workspace.

This skill should be used when the user says "/compound", "compound this", "document learnings", "save what we learned", or after…

Research, validate, and set up technology profiles in content/technologies.

Create educational and technical presentation slides with structured layouts including covers, table of contents, section dividers, and…

Use when writing a technical blog post from raw project data like research notes, session logs, Reddit/LinkedIn drafts, code, hex dumps…

This skill should be used when the user asks to "write an ADR", "document this architecture decision", "record why we chose X over Y"…

For technical documentation — Article 11 and Annex IV of the European regulatory framework for technology: organizes files, evidence, and…

Orchestrator for the Technical Engineering Articles knowledge base for Go and Python developers (60 articles by @Harry_The_Nerd on system…

Drafts and refines standardized Chinese technical proposals, bidding documents, and system design specifications with rigorous compliance…

Automatically keeps knowledge base documentation in sync with source code repositories. json { "services": { "service-a"…