Agent skills you can check before you install
Public SKILL.md skills from GitHub repositories with 50+ stars and from the vendors themselves, scanned and scored. Install any of them with one command in Claude Code, Cursor, Codex, GitHub Copilot or Gemini CLI.
49,418 skills from 2,407 repositories · updated 17 minutes ago
49,416 skills
- lancet-ethicsbrycewang-stanford/Awesome-Journal-SkillsUse to satisfy The Lancet's clinical-ethics and research-integrity requirements — ethics-committee approval and informed consent under the Declaration of Helsinki, the Declaration of interests, ICMJE author contributions, the role-of-the-funding-source statement, the data-sharing statement, patient and public involvement, and SAGER sex/gender plus equity reporting.ScienceNo warnings★ 1.4K↓ —
- micro-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning a MICRO campaign end to end — the April-to-Athens 2026 cycle clock, the four-venue architecture calendar (MICRO/ISCA/HPCA/ASPLOS) seen from MICRO's October seat, resubmission lattices after each outcome, and starting the MICRO 2027 evaluation stack early enough to matter.ProductivityNo warnings★ 1.4K↓ —
- mind-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when running the final pre-submission preflight for Mind via ScholarOne — preparation for triple-anonymous review, the ~8,000-word limit, the 50–200-word abstract, line numbering, the one-article-per-12-months rule, file format, and the MIND house style. Final checks; it does not draft content.WritingNo warnings★ 1.4K↓ —
- mlsys-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning an MLSys submission cycle end to end, from venue-fit and track choice through evaluation freeze, the October deadline, the four-day January response, notification, camera-ready, the March artifact-evaluation submission, and the May conference, with backward planning built around scarce GPU time and team ownership.ProductivityNo warnings★ 1.4K↓ —
- experiment-designeralirezarezvani/claude-skillsPlan A/B tests and product experiments: hypotheses, sample size, priority, reading results. Use whenever the user asks if a test won, how long to run it or what to test.TestingNo warnings★ 29.3K↓ —
- issta-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning an ISSTA project timeline from venue fit through the January research-paper deadline, the March author response, the April first decision, the May Major-Revision sprint, the June final decision, artifact evaluation, and the October symposium, with backward-planning offsets for a testing/analysis tool paper and its artifact.ProductivityNo warnings★ 1.4K↓ —
- 01-graders-and-pipelineagentscope-ai/OpenJudgeBuild custom LLM evaluation pipelines using the OpenJudge framework. Covers selecting and configuring graders (LLM-based, function-based, agentic), running batch evaluations with GradingRunner, combining scores with aggregators, applying evaluation strategies (voting, average), auto-generating graders from data, and analyzing results (pairwise win rates, statistics, validation metrics). Use when the user wants to evaluate LLM outputs, compare multiple models, design scoring criteria, or build an automated evaluation system.DesignNo warnings★ 1.1K↓ —
- jama-statisticsbrycewang-stanford/Awesome-Journal-SkillsUse when preparing or auditing the statistical analysis and reporting of a JAMA manuscript so it survives JAMA's dedicated statistical review. Enforces effect sizes with 95% CIs, multiplicity control, and pre-specification; it does NOT choose the study design or write prose.DesignNo warnings★ 1.4K↓ —
- itcs-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ITCS submission for HotCRP readiness — the early-September abstract-then-paper deadlines, single-column >= 11pt format with no hard page limit, the first-10-pages merits window, complete proofs of all central claims, the lightweight double-blind sweep, and the archival-prior-publication check.ScienceNo warnings★ 1.4K↓ —
- ipsn-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an IPSN-lineage submission for HotCRP readiness, covering the IP-vs-SPOTS track choice, the ACM Primary Article Template and ≤12-page inclusive budget, the double-blind sweep for hardware/deployment papers, dataset/artifact links, and desk-reject triage — routed to the current successor (SenSys) call because IPSN no longer runs standalone.DevOpsNo warnings★ 1.4K↓ —
- rollback-planmohitagw15856/pm-claude-skillsWrite a concrete rollback plan for a risky change (deploy, migration, feature-flag flip, config rollout) so the reverse is one command away — not an improvised debate at 2am. Use when asked to write a rollback plan, back-out plan, revert plan, or 'what if we need to undo this'. Produces a rollback plan with the signals that trigger it, exact reverse commands, verification steps, data-safety notes, and a communications template.PlanningNo warnings★ 1.5K↓ —
- icml-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ICML main-track submission for OpenReview, LaTeX formatting, 8-page body, anonymity, supplementary material, impact statement, dual submission, concurrent ICML submissions, reciprocal reviewing, and LLM/prompt-injection policy compliance.LegalNo warnings★ 1.4K↓ —
- ijcai-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning an IJCAI or IJCAI-ECAI project timeline from venue fit through abstract registration, full-paper upload, author information, PPI payment, summary-reject risk, author response, notification, camera-ready, in-person presentation, and artifact release.ProductivityNo warnings★ 1.4K↓ —
- icsme-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning an IEEE ICSME project timeline from venue and track choice through abstract registration, paper submission, the early-decision cut and author-response rebuttal, notification, IEEE Xplore camera-ready, the ROSE-Festival artifact evaluation, and presentation, with backward-planning offsets for a maintenance/evolution paper and honest handling of the single-annual-round calendar.ProductivityNo warnings★ 1.4K↓ —
- imc-related-workbrycewang-stanford/Awesome-Journal-SkillsUse when writing or auditing the related-work and positioning of an ACM IMC paper, covering the measurement literature lanes, positioning against prior datasets and vantage points, delta-first framing, citing the datasets and tools you build on, distinguishing IMC from SIGCOMM/NSDI/PAM prior art, and keeping self-citations double-blind.ScienceNo warnings★ 1.4K↓ —
- icra-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ICRA paper for upload — PaperPlaza account and metadata, the 6-page-plus-2-reference-page limit, IEEE two-column template compliance, the double-anonymous rule introduced in the 2026 cycle, video-attachment specs (180 s, 20 MB), dual-submission conflicts with RA-L, and return-without-review triggers.MediaNo warnings★ 1.4K↓ —
- hri-camera-readybrycewang-stanford/Awesome-Journal-SkillsUse when preparing the camera-ready of an accepted ACM/IEEE HRI paper — de-anonymizing systematically, completing ACM+IEEE dual-publication metadata (CCS concepts, ORCID, rights/eRights form), delivering every rebuttal promise within the 8-page budget, finalizing the video and de-anonymized archive, and passing production checks.MediaNo warnings★ 1.4K↓ —
- icde-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an IEEE ICDE research-track submission for round choice, Microsoft CMT setup, conflict declarations, the IEEE 12-page format, single-blind requirements, supplemental-material availability, the June/November two-round calendar, desk-reject triggers, and final-week sequencing for a data-engineering systems paper.DataNo warnings★ 1.4K↓ —
- iccv-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ICCV submission in the weeks before the early-March deadline, covering OpenReview registration and profile completeness, the single same-day paper-plus-supplement upload, the 8-page inclusive format, the 25-submissions-per-author cap, every-author reviewer enrollment, anonymity and media-embargo rules, and desk-reject triage.ScienceNo warnings★ 1.4K↓ —
- icalp-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning an ICALP (EATCS) campaign backward from its single annual February deadline, through abstract registration, the anonymous submission, the Track B rebuttal window, the April notification, and the LIPIcs camera-ready and presentation, and when coordinating a full-version (arXiv/ECCC) release alongside the anonymous submission.ProductivityNo warnings★ 1.4K↓ —
- hpca-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an HPCA submission for the two-step July gate on HotCRP, the 11-page main-body limit, the IEEE template, double-blind anonymity plus the all-authors reference rule, the AI-use disclosure, artifact-link scrubbing, and final-week sequencing before the paper deadline.ScienceNo warnings★ 1.4K↓ —
- valaxyYunYouJun/valaxyValaxy static blog framework built with Vue 3, Vite, and pnpm workspaces. Use when working with Valaxy projects: (1) creating or configuring Valaxy blog sites (site.config.ts, valaxy.config.ts), (2) writing blog posts with frontmatter, (3) developing Valaxy themes (valaxy-theme-*), (4) developing Valaxy addons (valaxy-addon-*), (5) customizing components/layouts/styles, (6) working with the Valaxy monorepo core framework, (7) debugging Valaxy builds or dev server, (8) deploying Valaxy sites. Triggers on: valaxy.config.ts, site.config.ts, theme.config.ts, defineValaxyConfig, defineSiteConfig, defineThemeConfig, defineTheme, defineAddon, valaxy-theme-*, valaxy-addon-*, pages/posts/, ValaxyMain, useSiteConfig, useFrontmatter, #valaxy/config.DevOpsNo warnings★ 1.1K↓ —
- month-end-closealirezarezvani/claude-skillsUse when running, planning or speeding up a month-end (or quarter-end) close — building or reviewing the close checklist and calendar, reconciling a bank statement or sub-ledger to the general ledger, writing or reviewing flux (variance) explanations, or finding why the close takes too many days. Orders close tasks by dependency and finds the critical path, proves each reconciliation and ages what is left, and refuses to sign off material fluctuations explained with boilerplate.WritingNo warnings★ 29.3K↓ —
- focs-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when running the final pre-upload audit of a FOCS (IEEE Symposium on Foundations of Computer Science) submission — the April HotCRP deadline clock, the abstract-references-plus-ten-pages attention rule, the 11-point single-column format floor, PDF security restrictions, double-blind checks, and SIGACT publication-policy compliance.SecurityNo warnings★ 1.4K↓ —
cav-related-work
brycewang-stanford/Awesome-Journal-Skills
WritingUpdated Sep 27, 2026
From the author
Use when positioning a CAV (Computer Aided Verification) submission against the verification literature across CAV, TACAS, FMCAD, VMCAI, POPL/PLDI, and the journals (FMSD, JAR, TOCL, STTT), writing delta-first contrast rather than a citation catalog, crediting the right benchmark and tool lineages, keeping self-citations double-anonymous for the anonymized categories, and handling concurrent and prior-version overlap.
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-related-work -a claude-code
Installs to .claude/skills/cav-related-work/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
What it can touch
Instructions onlyNo network use seenLicence: MIT
Safety checks on SKILL.md
No warnings.
Why 88
Security100
Provenance77
Maintenance100
Licence100
Adoption50
Files (1)
- SKILL.md