Agent skills for DeepSeek Harness

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…

Use when auditing an ACM PODS research submission for EasyChair readiness, covering the chosen cycle's abstract-then-paper deadlines, the…

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…

Use when planning an ACM PODS project timeline across its multiple submission cycles per year, from venue fit through the EasyChair…

Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds…

When to activate: Poetry, pyproject.toml, dependency management, virtual environments, packaging, publishing

Demonstrate Poisoned Pipeline Execution (PPE / CICD-SEC-4) during an authorized assessment — injecting attacker-controlled build steps…

Look up any Pokemon's types, base stats, and abilities from the public PokeAPI.