Skill-uri pentru agenți pe care le poți verifica înainte să le instalezi
Skill-uri SKILL.md publice din depozite GitHub cu peste 50 de stele și de la producători, scanate și evaluate. Instalează oricare dintre ele cu o singură comandă în Claude Code, Cursor, Codex, GitHub Copilot sau Gemini CLI.
49.538 de skill-uri din 2.407 depozite · actualizat acum 31 de minute
49.536 de skill-uri
- ase-writing-stylebrycewang-stanford/Awesome-Journal-SkillsUse when shaping the prose and structure of an ASE (IEEE/ACM Automated Software Engineering) research paper, covering the automation-first first-page arc, stating the automated task precisely, keeping the tool runnable and the model-swap test in mind, threats-as-argument, and the 10+2 page discipline on the ACM acmart template.RedactareFără avertismente★ 1,4 K↓ —
- acl-supplementarybrycewang-stanford/Awesome-Journal-SkillsUse when organizing appendices and supplementary material for an ACL paper under ACL Rolling Review, covering the mandatory Limitations and optional ethics sections, appendices after references, anonymized software and data archives, the no-cloud-links rule, and deciding what must stay in the 8-page or 4-page body.ȘtiințăFără avertismente★ 1,4 K↓ —
- ase-supplementarybrycewang-stanford/Awesome-Journal-SkillsUse when deciding what belongs in the 10-page ASE (IEEE/ACM Automated Software Engineering) paper body versus the artifact and supplementary material, splitting content by decision-criticality so nothing that decides acceptance lives outside the reviewed pages under the 10+2 budget.ȘtiințăFără avertismente★ 1,4 K↓ —
- acmmm-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning the end-to-end ACM MM (ACM Multimedia) campaign calendar — from thematic-area scoping and track choice, through the April OpenReview abstract/paper/supplement chain, the June anonymous rebuttal, the July decision, the August camera-ready, and the November presentation in Rio, with the right skill invoked at each stage.ProductivitateFără avertismente★ 1,4 K↓ —
- update-knowledge-basehuytieu/COG-second-brainMaintain and update product knowledge base from releases, features, and project changes with optional wiki syncAlteleFără avertismente★ 1,3 K↓ —
- atc-writing-stylebrycewang-stanford/Awesome-Journal-SkillsUse when drafting or revising an ATC (ACM SIGOPS Annual Technical Conference, formerly USENIX ATC) systems paper — writing a self-standing two-page extended abstract for the round-one gate, structuring the implementation-and-measurement narrative, reporting costs beside gains, and holding the two-column 12-page budget.RedactareFără avertismente★ 1,4 K↓ —
- uai-related-workbrycewang-stanford/Awesome-Journal-SkillsUse when positioning a UAI submission within the probabilistic reasoning, graphical-model, causality, and Bayesian ML literature, covering PMLR archival status of recent UAI volumes, double-blind self-citation discipline, concurrent arXiv and workshop versions, and the cross-community citation coverage UAI reviewers check first.ȘtiințăFără avertismente★ 1,4 K↓ —
- editorial-illustrationshuytieu/COG-second-brainSelf-evolving second brain with 35 AI skills, 10 agents, and people CRM. Closed-loop harness: a V-model verification lifecycle where the worker never grades its own homework. Plus paired anti-slop design skills for marketing and product UI. Works with Claude Code, Cursor, Kiro, Gemini CLI, Codex.MediaFără avertismente★ 1,3 K↓ —
- red-teamalirezarezvani/claude-skillsUse when planning or running an authorized red team engagement or attack path analysis. Plans the kill chain with engagement_planner.py: MITRE ATT&CK techniques, choke points, OPSEC risk and crown jewels.PlanificareFără avertismente★ 29,3 K↓ —
- uist-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when performing the final pre-upload audit of a UIST paper in PCS — the abstract-then-paper deadline pair, 10-page/5-page two-column limits with desk-reject enforcement, anonymous acmart options, video-figure and supplementary uploads, the prior-work overlap rule, and deadline-week sequencing.MediaFără avertismente★ 1,4 K↓ —
- vldb-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing a PVLDB submission before a monthly deadline, covering the mandatory abstract on the 25th, the CMT window, the 1st-of-month 5:00 PM Pacific cutoff, category and page-budget choice, single-blind cover-page requirements, the per-month and per-year author caps, and desk-reject hazards specific to VLDB.PlanificareFără avertismente★ 1,4 K↓ —
- stoc-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing a STOC (ACM Symposium on Theory of Computing) submission for HotCRP readiness — the abstract + table-of-contents + first-12-pages reading rule, single-column 11-point format, double-blind hygiene, the SIGACT prior/simultaneous-publication policy, and deadline-week sequencing before the November cutoff.AlteleFără avertismente★ 1,4 K↓ —
- tacas-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory tool-paper artifact deadline, the rebuttal window, notification, the voluntary post-acceptance artifact round, LNCS camera-ready, and presentation, with backward-planning offsets that account for TACAS's single annual round and its parallel paper+artifact review.ProductivitateFără avertismente★ 1,4 K↓ —
- oma-pmfirst-fluke/oh-my-agentTurn product requirements into scoped tasks with dependencies and acceptance criteria. Use for implementation planning and prioritization.PlanificareFără avertismente★ 1,4 K↓ —
- soda-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when preparing or auditing a SODA (ACM-SIAM Symposium on Discrete Algorithms) submission — the no-page-limit full-version norm, the title-page abstract, 11-point single-column letter format, lightweight double-blind rules, HotCRP entry, and the July AoE deadline with its summary-rejection triggers.ProductivitateFără avertismente★ 1,4 K↓ —
- sci-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when deciding which sci-* sub-skill to invoke next, or when sequencing a manuscript from significance test through reviewer rebuttal for Science (AAAS). Routes — it does not replace — the specialized skills.ProductivitateFără avertismente★ 1,4 K↓ —
- socc-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ACM SoCC (Symposium on Cloud Computing) research-paper submission for HotCRP readiness, covering the two-round abstract+paper deadlines, the acmart/sigconf 12-page (full) or 6-page (short) budget with unlimited references, dual-anonymous review, the systems-and-data reproducibility posture, and desk-reject triage before the AoE cutoff.ȘtiințăFără avertismente★ 1,4 K↓ —
- ppopp-workflowbrycewang-stanford/Awesome-Journal-SkillsUse when planning a PPoPP submission campaign end to end, sequencing the summer paper deadline, the author-response rebuttal window, notification, the post-acceptance CGO-shared artifact-evaluation round, the camera-ready, and the presentation inside the co-located HPCA/CGO/PPoPP/CC week.ProductivitateFără avertismente★ 1,4 K↓ —
- pods-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when auditing an ACM PODS research submission for EasyChair readiness, covering the chosen cycle's abstract-then-paper deadlines, the acmsmall[review,anonymous] format and 15-page budget, the at-submission proof appendix, lightweight double-anonymity, the declared conflicts of interest, PACMMOD-track publication, and desk-risk triage before the AoE cutoff.ȘtiințăFără avertismente★ 1,4 K↓ —
- baoyu-slide-deckJimLiu/baoyu-skillsGenerates professional slide deck images from content. Creates outlines with style instructions, then generates individual slide images. Use when user asks to "create slides", "make a presentation", "generate deck", "slide deck", or "PPT".DocumenteFără avertismente★ 27,3 K↓ —
- pmla-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when running the final pre-submission preflight for PMLA (Publications of the Modern Language Association) via the ScholarOne site — venue selection, MLA-membership eligibility, anonymous preparation, word range, MLA style, cover sheet, and AI-content disclosure. Final checks; it does not draft content.AlteleFără avertismente★ 1,4 K↓ —
- loop-engineeringhuytieu/COG-second-brainShared loop-engineering reference for COG skills - the agent loop, deterministic verifiers, termination conditions, in-loop context management, and named patterns. Invoke when designing or debugging a skill that iterates (search-verify-retry, scan-until-dry, fetch-retry-gate).InginerieFără avertismente★ 1,3 K↓ —
- osdi-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when running the final pre-upload audit of an OSDI submission on HotCRP — the December registration and full-paper deadlines at 2:59 pm PST, the 12-page/no-appendix check, institution-level double-blind rules, the renamed-system requirement, track choice, and the eight-submission author cap.ȘtiințăFără avertismente★ 1,4 K↓ —
- nsdi-submissionbrycewang-stanford/Awesome-Journal-SkillsUse when running the final pre-upload audit of an NSDI submission — the abstract-then-paper week on the per-deadline HotCRP site, 11:59 pm US Eastern cutoffs, the 12-page cap with references and appendices outside it, track-dependent anonymization, the eight-paper author cap, and the resubmission-ban check.ȘtiințăFără avertismente★ 1,4 K↓ —
cav-related-work
brycewang-stanford/Awesome-Journal-Skills
RedactareActualizat 27 sept. 2026
De la autor
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.
Instalare
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-related-work -a claude-code
Se instalează în .claude/skills/cav-related-work/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Descarcă .zip
Identic octet cu octet cu commit-ul scanat, cu licența depozitului și un fișier SOURCE.txt.
La ce are acces
Doar instrucțiuniNu am văzut acces la rețeaLicență: MIT
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 88
Securitate100
Proveniență77
Întreținere100
Licență100
Adopție50
Fișiere (1)
- SKILL.md