Agent skills for VS Code

Use when preparing an accepted ACM PODC paper for the proceedings — de-anonymizing after lightweight double-blind, compressing to the…

Use when writing the related-work and positioning of an ACM PODC paper — covering the distributed-computing literature lanes…

Use when making an ACM PODC paper's result independently checkable — reproducibility for a proofs venue, not an artifact venue.

Use when reasoning about how an ACM PODC submission is evaluated — covering lightweight double-blind review, a program committee that…

Use when deciding what goes in the first 10 read-guaranteed pages of an ACM PODC submission versus the full version / appendix, and when…

Use when deciding whether a distributed-computing result belongs at ACM PODC or should be routed to DISC, SPAA, OPODIS/SIROCCO/SSS…

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

Extracts transcripts from podcasts or videos and synthesizes actionable takeaways.

Extracts clean, paragraph-formatted podcast transcripts into TXT files from YouTube, Xiaoyuzhou, Apple Podcasts, web pages, or raw audio.

Podchaser GraphQL API for podcast data, discovery, episodes, creators, and sponsorship information.

Podium core workflow a — business messaging and communication platform integration.

Podium local dev loop \u2014 business messaging and communication platform\

Podium prod checklist — business messaging and communication platform integration.

Operate a Podium webhook receiver that survives the delivery-side failures —

Use when drafting ACM PODS author responses, covering the short ~48-hour double-anonymous rebuttal that corrects misreadings of proofs and…

Use when preparing an accepted ACM PODS paper for its PACMMOD-track camera-ready, covering de-anonymization, the final acmsmall format and…

Use when designing or auditing the analytical "evidence" of an ACM PODS paper — worst-case and average-case analyses, matching upper and…

Use when positioning an ACM PODS submission against the database-theory literature across PODS, ICDT, LICS, and the journals (TODS, LMCS…

Use when strengthening the verifiability of an ACM PODS paper — a complete claim-to-proof map, self-contained proofs in the at-submission…

Use when deciding what belongs in an ACM PODS paper body versus its at-submission appendix, covering the acmsmall 15-page budget, the rule…

Use when deciding whether a data-management project belongs at ACM PODS (the database-theory symposium) or should be routed to…