Learning & Documentation Agent Skills for Zed

Rewrite AI-sounding text so it reads naturally, specifically, and credibly without changing the underlying meaning.

Remove signs of AI-generated writing from academic medical papers.

Automates the generation of HWPX documents through ZIP-level XML substitution and template-based workflows.

Remove signs of AI-generated writing from text.

Produces narrated STEM lecture and explainer videos by rendering animated HTML and voiceover audio to MP4 using HyperFrames.

Audio and media assets for HyperFrames compositions, produced by one shared audio engine (`scripts/audio.mjs`) — multi-provider TTS…

PraxIS: IB DP Sciences practical & IA coach.

Use to understand why ICALP (EATCS) has no artifact-evaluation track or badge scheme, and what plays the equivalent role for a pure-theory…

Use when preparing an accepted ICALP (EATCS) paper for the LIPIcs open-access camera-ready — converting to the lipics-v2021 document…

Use when matching the argument of an ICALP (EATCS) theory paper to its claim — choosing the proof strategy for an upper or lower bound…

Use when writing the related-work and positioning of an ICALP (EATCS) theory paper — comparing against the best known bounds in the TCS…

Use when making an ICALP (EATCS) theory result independently checkable — writing complete, self-contained proofs in the appendix and a…

Use when splitting an ICALP (EATCS) theory paper between the 15-page main body and the clearly labelled appendix / full version — deciding…

Use when deciding whether a theoretical computer science result belongs at ICALP (EATCS) and, if so, whether it is a Track A (algorithms…

Use when positioning an ICASSP submission across the signal-processing literature — IEEE SPS journals (TSP, TASLP, SPL, TIP and siblings)…

Use when revising an ICASSP paper into the IEEE two-column four-page house style — leading with the signal-processing contribution and…

Use when an ICCV paper is accepted and the final version, releases, and October conference must be delivered, covering de-anonymization…

Use when positioning an ICCV paper against the literature, covering the intervening-cycle problem of citing a CVPR and an ECCV that…

Use when preparing an accepted IEEE ICDE paper for camera-ready and IEEE Xplore publication: IEEE eCopyright and PDF-eXpress validation…

Use when positioning an IEEE ICDE submission against the database canon and neighboring venues, running a reinvention audit across SIGMOD…

Use when explaining or planning around IEEE ICDE peer review: the two-round-per-edition structure, area-chair-coordinated assignment with…