Agent skills for Claude Desktop

Use when an author expects an artifact-evaluation or badge track at ACM PODC and needs redirecting — PODC has NO artifact track and no ACM…

Use when writing an ACM PODC rebuttal/author response, if the cycle runs one — covering how to correct a proof misreading, supply a…

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

Use when building the evidence for an ACM PODC paper — where "evidence" is a proof, not a benchmark.

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 auditing an ACM PODC submission for HotCRP readiness, covering the two-step abstract-registration then full-paper deadline, the…

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…

Use when planning an ACM PODC campaign end to end — running the single annual cycle backward from the February deadline through abstract…

Use when drafting or revising the body of an ACM PODC paper — building the distributed-theory skeleton (an explicit model box, the result…

Transforms podcast or video transcripts into structured show notes with timestamps, key takeaways, resource links, guest bios, pull…

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

Use for the PODS analogue of artifact evaluation — there is no systems artifact track at this theory symposium, so this skill covers…

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 reasoning about how an ACM PODS submission is evaluated, covering lightweight double-anonymous review, the multi-cycle-per-year…