Learning & Documentation Agent Skills

Generate real audio narratives from text content using Azure OpenAI's Realtime API.

Translate text to any language with formality control and cultural notes.

Use when designing the empirical component of a POPL paper — deciding whether evidence should be a mechanization, a prototype, case…

Use when making a POPL paper's results independently checkable — deciding which theorems to mechanize versus hand-prove, maintaining a…

Use when interpreting where a POPL submission stands — the full double-blind pipeline from the July HotCRP deadline through reviews, the…

Write Portuguese that sounds human. Not formal, not robotic, not AI-generated.

Format content as an extraction-ready document and post it to a connected Stratagraph project with `strata_post_document`.

Generate stable platform-ready AI illustrations for WeChat official account articles, Xiaohongshu notes, Zhihu posts, Toutiao posts, and…

Write a post-mortem and extract durable lessons after completing a challenging task, then publish it for visibility (internal write-up…

Comprehensive guide to writing effective, blameless postmortems that drive organizational learning and prevent incident recurrence.

Use when preparing a PPoPP camera-ready, covering systematic de-anonymization, ACM rights/eRights and CCS concepts metadata, restoring the…

Use when writing or auditing a PPoPP paper's related-work and positioning, covering the parallel-programming literature lanes (concurrent…

Use when reasoning about how a PPoPP submission is evaluated, covering double-blind review, the Program Committee plus External/Extended…

Produce a .pptx file on disk (headless) instead of driving a live PowerPoint document — for managed-agent sessions with no open Office app.

Structures main text and supplementary materials for Pattern Recognition and Artificial Intelligence journal submissions to balance…

Formats and refines Chinese academic papers to meet the structural, styling, and GB/T 7714 citation standards of Pattern Recognition and…

Evaluates research topics, novelty deltas, and journal scope alignment for the Pattern Recognition and Artificial Intelligence (PR&AI)…

Generates targeted coding drills, variant problems, and transfer exercises tailored to learner mastery levels.

Design sport-specific practice sessions.

Use when running the final pre-submission preflight for a JAMA manuscript — word/format limits, required statements, checklist and…

Use when verifying that a The Yale Law Journal (YLJ) claim is genuinely novel and not preempted by prior scholarship.