Learning & Documentation Agent Skills for HTTP / API

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…

Apply metadata tags, embed artwork, and organize media files with consistent naming

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

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…

Russian text quality. Triggers: вычитай, проверь текст, поправь, отредактируй, причеши, ru-text. Typography silently on any Russian…

Use when starting implementation of a task - loads architecture files, referenced patterns, relevant guides, and task file into context

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

Generate teaching resources including slide deck outlines, progressive exercises, hands-on case studies, and learning guides with…

Translate English or Japanese tech articles into natural, fluent Chinese.

Writes and rewrites technical documentation for software projects: README files, API references, architecture docs, user guides, and…

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

Central repository structure for manufacturing RFP responses, compliance

Write and maintain technical documentation.

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

Research current technical announcements, APIs, runtimes, and provider behavior using primary sources, then produce before/after…

Technical specification and design document expert.

Publish and manage Telegraph pages with media, page-view statistics, and auto-split for long articles.