GitHub user
Agent skills by brycewang-stanford, page 15
Skills by brycewang-stanford, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 673 | 673.Cav Related Work A skill your agent uses when positioning a CAV (Computer Aided Verification) submission against the verification literature across CAV, TACAS, FMCAD, VMCAI, POPL/PLDI, and the journals (FMSD, JAR… | brycewang-stanford/ | 1.2k | — | ~1.3k | Automated safety check: Pass | MIT | 14 days ago |
| 674 | A skill your agent uses when strengthening CAV (Computer Aided Verification) reproducibility, covering benchmark provenance (SV-COMP/SMT-COMP/HWMCC/VNN-COMP set revisions), pinned tool and baseline… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 675 | A skill your agent uses when reasoning about how a CAV (Computer Aided Verification) submission is evaluated, covering the two-stage reviewing process (two reviews then an early-reject filter, then… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 676 | 676.Cav Submission A skill your agent uses when auditing a CAV (Computer Aided Verification) submission for portal readiness, covering the four submission categories (Regular / Short Tool / Short Application /… | brycewang-stanford/ | 1.2k | — | ~1.6k | Automated safety check: Pass | MIT | 14 days ago |
| 677 | A skill your agent uses when deciding what belongs in a CAV (Computer Aided Verification) paper body versus its optional appendix and artifact, covering the LNCS page limits, the rule that reviewers… | brycewang-stanford/ | 1.2k | — | ~1.2k | Automated safety check: Pass | MIT | 14 days ago |
| 678 | A skill your agent uses when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 679 | 679.Cav Workflow A skill your agent uses when planning a CAV (Computer Aided Verification) project timeline from venue and category selection through submission, the two-stage review with early reject and rebuttal… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 680 | A skill your agent uses when revising a CAV (Computer Aided Verification) paper for a precise verification contribution on the first page, an explicit soundness/completeness statement… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 681 | A skill your agent uses when packaging ACM CCS artifacts for the artifact-evaluation committee and the ACM badges — Artifacts Available, Artifacts Evaluated Functional, Artifacts Evaluated Reusable… | brycewang-stanford/ | 1.2k | — | ~969 | Automated safety check: Pass | MIT | 14 days ago |
| 682 | A skill your agent uses when drafting an ACM CCS rebuttal during the HotCRP author-response window, covering threat-model defenses, adaptive-attack objections, ethics and disclosure questions… | brycewang-stanford/ | 1.2k | — | ~949 | Automated safety check: Pass | MIT | 14 days ago |
| 683 | 683.Ccs Camera Ready A skill your agent uses when preparing an accepted ACM CCS paper for the ACM Digital Library proceedings, covering de-anonymization, the ACM sigconf final format, ACM rights and eRights forms, badge… | brycewang-stanford/ | 1.2k | — | ~1k | Automated safety check: Pass | MIT | 14 days ago |
| 684 | 684.Ccs Experiments A skill your agent uses when designing or auditing ACM CCS experiments, attack demonstrations, adaptive-attack defense evaluations, security measurements, baselines, overhead and cost reporting… | brycewang-stanford/ | 1.2k | — | ~946 | Automated safety check: Pass | MIT | 14 days ago |
| 685 | 685.Ccs Related Work A skill your agent uses when positioning an ACM CCS submission against the security big-four and specialist literature, including arXiv preprints, prior CCS/S&P/USENIX/NDSS papers, concurrent… | brycewang-stanford/ | 1.2k | — | ~876 | Automated safety check: Pass | MIT | 14 days ago |
| 686 | A skill your agent uses when strengthening ACM CCS reproducibility evidence, including the artifact-availability posture, threat-model-to-evidence mapping, attack reproduction steps, defense… | brycewang-stanford/ | 1.2k | — | ~903 | Automated safety check: Pass | MIT | 14 days ago |
| 687 | A skill your agent uses when explaining or planning around ACM CCS peer review, the two-cycle HotCRP workflow, decision categories including minor revision, the rebuttal window, the adversarial… | brycewang-stanford/ | 1.2k | — | ~862 | Automated safety check: Pass | MIT | 14 days ago |
| 688 | 688.Ccs Submission A skill your agent uses when auditing an ACM CCS submission for HotCRP readiness, dual-cycle abstract registration and full-paper deadlines, the 12-page ACM sigconf body, anonymization, the ethics… | brycewang-stanford/ | 1.2k | — | ~1k | Automated safety check: Pass | MIT | 14 days ago |
| 689 | A skill your agent uses when preparing ACM CCS appendices and supplementary material, including the ethics considerations appendix, protocol transcripts, formal proofs, measurement tables, and… | brycewang-stanford/ | 1.2k | — | ~914 | Automated safety check: Pass | MIT | 14 days ago |
| 690 | A skill your agent uses when deciding whether a security project fits ACM CCS versus IEEE S&P, USENIX Security, NDSS, PETS, or a crypto/theory venue, identifying the security contribution type, and… | brycewang-stanford/ | 1.2k | — | ~945 | Automated safety check: Pass | MIT | 14 days ago |
| 691 | 691.Ccs Workflow A skill your agent uses when planning an ACM CCS project timeline across the two HotCRP review cycles, from venue fit through abstract registration, full-paper upload, rebuttal, notification… | brycewang-stanford/ | 1.2k | — | ~1.1k | Automated safety check: Pass | MIT | 14 days ago |
| 692 | A skill your agent uses when revising an ACM CCS paper for a precise threat model, calibrated attack/defense claims, 12-page ACM sigconf compression, double-blind wording, adaptive-evaluation… | brycewang-stanford/ | 1.2k | — | ~918 | Automated safety check: Pass | MIT | 14 days ago |
| 693 | A skill your agent uses when targeting Cell Reports Medicine (Cell Rep Med) or deciding whether a translational or clinical manuscript with mechanistic depth fits this open-access Cell Press venue. | brycewang-stanford/ | 1.2k | — | ~2.2k | Automated safety check: Pass | MIT | 14 days ago |
| 694 | A skill your agent uses when targeting Cement and Concrete Research or deciding whether a cementitious-materials manuscript fits this venue. | brycewang-stanford/ | 1.2k | — | ~2.1k | Automated safety check: Pass | MIT | 14 days ago |
| 695 | 695.Cfe Abstract A skill your agent uses when drafting or revising the 中文摘要 or 英文 abstract for a 《财经研究》 (Journal of Finance and Economics) manuscript. | brycewang-stanford/ | 1.2k | — | ~694 | Automated safety check: Pass | MIT | 14 days ago |
| 696 | A skill your agent uses when drafting or revising the literature-review section for a Journal-of-Finance-and-Economics (《财经研究》) manuscript. | brycewang-stanford/ | 1.2k | — | ~658 | Automated safety check: Pass | MIT | 14 days ago |
| 697 | 697.Cfe Mechanism A skill your agent uses when designing or writing mechanism analyses for a Journal-of-Finance-and-Economics (《财经研究》) empirical manuscript — mechanism tests are near-mandatory for the journal's… | brycewang-stanford/ | 1.2k | — | ~681 | Automated safety check: Pass | MIT | 14 days ago |
| 698 | A skill your agent uses when targeting Chemical Engineering Journal or deciding whether an applied chemical-engineering / functional-materials manuscript fits this venue. | brycewang-stanford/ | 1.2k | — | ~2k | Automated safety check: Pass | MIT | 14 days ago |
| 699 | A skill your agent uses when packaging the artifacts behind an ACM CHI paper — prototypes, study instruments, codebooks, datasets, analysis code — for anonymous review scrutiny and for… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 700 | A skill your agent uses when an ACM CHI paper receives a revise-and-resubmit invitation and the five-week window opens — planning the revision triage, making tracked changes reviewers can audit, and… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 701 | 701.Chi Camera Ready A skill your agent uses when preparing an accepted ACM CHI paper for publication — the TAPS source upload, the PCS publication-ready package, mandatory accessibility work (alt text… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 702 | 702.Chi Experiments A skill your agent uses when designing or auditing the studies behind an ACM CHI paper — matching evidence shape to contribution type, powering quantitative experiments, making qualitative work… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 703 | 703.Chi Related Work A skill your agent uses when building the related-work section of an ACM CHI paper — covering the HCI venue family and the non-CS disciplines CHI draws on, positioning against the last few CHI… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 704 | A skill your agent uses when strengthening research transparency for an ACM CHI paper — protocols, instruments, codebooks, analysis scripts, preregistration, and data availability under… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 705 | A skill your agent uses when interpreting the ACM CHI Papers review pipeline — 1AC and 2AC roles, the A/ARR/RR/RRX/X recommendation scale, desk-reject and rubric-based assisted desk-reject… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 706 | 706.Chi Submission A skill your agent uses when auditing an ACM CHI Papers submission for PCS readiness, covering the September full-paper deadline, the anonymized single-column template, word-count norms instead of… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 707 | A skill your agent uses when deciding whether a project belongs at ACM CHI, which of CHI's contribution types it makes, and which reviewing subcommittee should judge it — or whether the work is… | brycewang-stanford/ | 1.2k | — | ~1.5k | Automated safety check: Pass | MIT | 14 days ago |
| 708 | 708.Chi Workflow A skill your agent uses when planning an ACM CHI submission cycle end to end — the single September deadline, two-round review with a five-week revise-and-resubmit window, December decisions, the… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 709 | A skill your agent uses when drafting or revising the prose of an ACM CHI paper — contribution statements, structure for mixed reviewer audiences, participant voice, calibrated claims, accessible… | brycewang-stanford/ | 1.2k | — | ~1.4k | Automated safety check: Pass | MIT | 14 days ago |
| 710 | A skill your agent uses when targeting 《体育科学》(China Sport Science) — the China Sport Science Society flagship and top CSSCI sport-science journal (体育学). | brycewang-stanford/ | 1.2k | — | ~783 | Automated safety check: Pass | MIT | 14 days ago |
| 711 | A skill your agent uses when targeting 《中国体育科技》(China Sport Science and Technology) — the CSSCI applied/competitive sport-science journal from the China Institute of Sport Science (国家体育总局体育科学研究所)… | brycewang-stanford/ | 1.2k | — | ~723 | Automated safety check: Pass | MIT | 14 days ago |
| 712 | A skill your agent uses when packaging the code, datasets, knowledge graphs, prompts, and demo systems around a CIKM paper — choosing the artifact form per track (research, applied, resource, demo)… | brycewang-stanford/ | 1.2k | — | ~1.6k | Automated safety check: Pass | MIT | 14 days ago |
| 713 | A skill your agent uses when preparing author-side communication around CIKM reviews — drafting for a response window if the cycle offers one (unconfirmed for 2026), writing camera-ready revision… | brycewang-stanford/ | 1.2k | — | ~1.6k | Automated safety check: Pass | MIT | 14 days ago |
| 714 | A skill your agent uses when turning an accepted CIKM paper into its ACM proceedings version inside the short notification-to-camera-ready window, covering de-anonymization, the e-rights and TAPS… | brycewang-stanford/ | 1.2k | — | ~1.8k | Automated safety check: Pass | MIT | 14 days ago |
| 715 | 715.Cikm Experiments A skill your agent uses when designing or auditing the empirical program of a CIKM paper — matching evidence to the claim's lanes across retrieval, mining, and knowledge-management evaluation… | brycewang-stanford/ | 1.2k | — | ~1.7k | Automated safety check: Pass | MIT | 14 days ago |
| 716 | A skill your agent uses when positioning a CIKM submission against three literatures at once — retrieval, mining, and knowledge management/databases — building the boundary-work paragraph, guarding… | brycewang-stanford/ | 1.2k | — | ~1.7k | Automated safety check: Pass | MIT | 14 days ago |
| 717 | A skill your agent uses when hardening the reproducibility of a CIKM paper — pinning the pipeline stages where IR, mining, and knowledge-management results silently diverge, documenting KGs and… | brycewang-stanford/ | 1.2k | — | ~1.7k | Automated safety check: Pass | MIT | 14 days ago |
| 718 | A skill your agent uses when reasoning about CIKM peer review — the EasyChair double-blind pipeline, the mixed IR/data-mining/knowledge-management reviewer pool, per-track evaluation criteria, the… | brycewang-stanford/ | 1.2k | — | ~1.7k | Automated safety check: Pass | MIT | 14 days ago |
| 719 | 719.Cikm Submission A skill your agent uses when auditing a CIKM submission for EasyChair readiness across the five tracks, covering page budgets with appendices counted inside, the mandatory GenAI Usage Disclosure… | brycewang-stanford/ | 1.2k | — | ~1.6k | Automated safety check: Pass | MIT | 14 days ago |
| 720 | A skill your agent uses when deciding what supporting material accompanies a CIKM submission given budgets that count appendices inside the page limit, structuring the in-PDF appendix versus the… | brycewang-stanford/ | 1.2k | — | ~1.7k | Automated safety check: Pass | MIT | 14 days ago |
