Agent skills for OpenAI Agents SDK

Run a buoyancy audit — assess how well a system will improve as models improve.

Interface with Isabelle/HOL for classical mathematics formalization

Use when ISCA reviews arrive and the rebuttal-plus-revision window opens — triaging objections by what a three-week window can actually…

Use when converting an accepted ISCA paper into its published form — de-anonymizing authors, acknowledgments, and artifact links…

Use when positioning an ISCA submission against prior art — covering five decades of architecture literature across ACM DL, IEEE Xplore…

Use when reasoning about how an ISCA submission is evaluated — the two-round review structure with December and February reviewer waves…

Use when deciding whether a project belongs at ISCA, the ACM/IEEE flagship architecture symposium — testing whether the machine itself is…

Use when drafting or revising an ISCA paper's prose — organizing 11 pages around one architectural insight, writing the motivation section…

Islamic and Sufi wisdom - Tawhid unity, surrender navigation, 99 Names positions, dhikr practice, fana/baqa dissolution

Biological evaluation planning skill implementing ISO 10993-1 for biocompatibility testing strategy

Comprehensive risk management skill implementing ISO 14971:2019 methodology for medical device risk analysis

Functional safety process and analysis support per ISO 26262

Plan and execute product isolation migrations to a facade plus contract layer in PostHog, following the Visual review architecture.

Use when packaging an ISSTA tool, benchmark, and results for the artifact-evaluation track, covering the ACM badges (Artifacts Available…

Use when drafting an ISSTA author response for the rebuttal window or planning a Major-Revision resubmission, covering evidence-anchored…

Use when designing or auditing ISSTA experiments, covering real subject programs and benchmarks like Defects4J, fair tool-baseline…

Use when strengthening ISSTA reproducibility and verifiability evidence, covering pinned subject programs and benchmark versions, random…

Use when explaining or planning around ISSTA peer review, covering double-anonymous reviewing, at least three PC reviews, the…

Use when auditing an ISSTA submission for HotCRP readiness, the 18-page (excluding references) limit, ACM sigconf plus review and…

Use when deciding what lives in the ISSTA 18-page body versus the artifact and any appendix, covering the no-unlimited-appendix reality…

Use when deciding whether a project is a strong ISSTA fit versus ICSE, FSE, ASE, ICST, PLDI/CAV, or an SE journal, identifying whether the…