Learning & Documentation Agent Skills for Claude Code

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…

Use when revising an IEEE ICDE paper for the first-page data-engineering contract, a reconstructable mechanism description, the…

Use when positioning an ICDM (IEEE International Conference on Data Mining) paper's related work - lineage against prior ICDM editions and…

Use when organizing supplementary and appendix material for an ICDM (IEEE International Conference on Data Mining) paper - deciding what…

Use when preparing the final LIPIcs camera-ready for an accepted ICDT (International Conference on Database Theory) paper — the…