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.409 skill-uri din 2.375 de depozite · actualizat acum 11 ore
49.409 skill-uri
- corl-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when designing or auditing experiments for a CoRL robot-learning paper — seeds and evaluation-episode counts, task-suite breadth, real-robot versus simulation evidence, sim-to-real gap measurement, baseline fairness across BC/RL/VLA families, generalization splits, and statistics for success-rate claims.ȘtiințăFără avertismente★ 1,4 K↓ —
- ap-independent-checkerSpielewoy/autoprompt-skillIndependently review the exact result and run its real checks in one context, using isolated resources and without changing the deliverable.InginerieFără avertismente★ 1,2 K↓ —
- os-done-or-notkharmanskyi/open-stepsALWAYS invoke this skill when work wraps up or the user asks how it went - "done or not", "are we done", "what happened", "report", "what's the status of this ticket" - in any language, and when a Stop hook asks for a session report. Produces a ten-line plain- language report: a lead, a checkmark table, and a verdict - fully done, anything needed from you, new debt, safe to close. Every "yes" names its proof; unverified says "not checked". Saves the report so the next session starts from it instead of re-exploring the repo.AlteleFără avertismente★ 1,3 K↓ —
- release-itciembor/agent-rules-booksApply Michael T. Nygard-inspired production reliability rules when designing failure handling, timeouts, retries, circuit breakers, observability, or deployment behavior.DevOpsFără avertismente★ 3,2 K↓ —
- popl-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when designing the empirical component of a POPL paper — deciding whether evidence should be a mechanization, a prototype, case studies, or benchmarks; reporting proof effort and case-study coverage honestly; and keeping performance numbers in a supporting role so the formal claim stays the paper's center of gravity.ȘtiințăFără avertismente★ 1,4 K↓ —
- pldi-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when designing or auditing a PLDI evaluation — choosing defensible benchmark suites and baseline compiler configurations, measuring runtime, compile time, and memory with warmup and variance discipline, running ablations that isolate the claimed mechanism, and scoping claims to the platforms measured.ProductivitateFără avertismente★ 1,4 K↓ —
- hep-cloudagentlas-ai/Agentlas-OSStaff a task only from the signed-in owner's Agent Cloud agents.ProductivitateFără avertismente★ 1,6 K↓ —
- resources-page-generatorkostja94/marketing-skillsDeprecated compatibility entry for Resource Page construction. This page is now maintained in Pagina; install and use page-builder to build a new Resource Page.AlteleFără avertismente★ 1,1 K↓ —
- agentlas-packagingagentlas-ai/Agentlas-OSUse when converting, repairing, or packaging an existing local or external agent/team into Agentlas architecture for local install, Agentlas import, Codex plugin use, Claude adapter use, or open-source release.PlanificareFără avertismente★ 1,6 K↓ —Apare și în 3 alte depozite
- agentlas-uploadagentlas-ai/Agentlas-OSPublish an Agentlas package to Agent Cloud or the public Hub.AlteleFără avertismente★ 1,6 K↓ —
- patterns-of-enterprise-application-architectureciembor/agent-rules-booksApply Martin Fowler-inspired enterprise architecture rules when choosing layers, service layers, transaction scripts, domain models, repositories, mappers, or DTOs.PlanificareFără avertismente★ 3,2 K↓ —
- pods-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when designing or auditing the analytical "evidence" of an ACM PODS paper — worst-case and average-case analyses, matching upper and lower bounds, dichotomy completeness, correct complexity assumptions, and the occasional empirical validation when a theory paper claims practicality — matching the rigor to the shape of each theoretical claim.ȘtiințăFără avertismente★ 1,4 K↓ —
- doca-upgradeNVIDIA/skillsChanging DOCA versions safely: upgrading or downgrading the host DOCA packages, refreshing the BlueField BFB, bumping the NGC DOCA container tag, or rolling back, with the discipline detect -> report -> ASK -> only then a guided upgrade. Trigger on "is there a newer DOCA", "I want the newest DOCA features, can I just apt upgrade in place", "should I move to the next release", "the upgrade stopped midway and dpkg is in a broken state", "my component is being deprecated, what now", or "roll me back", even without the word upgrade. Detect what is installed, find the newer release, report the gap, then STOP and ask for explicit confirmation; never upgrade automatically. Do not use it for a runtime error on an unchanged install (doca-debug). Version detection alone belongs to doca-version, first-time install to doca-setup, any hardware / firmware / reboot step to doca-hardware-safety, and public-docs or sunset routing to doca-public-knowledge-map.InginerieFără avertismente★ 3,8 K↓ —
- rss-supplementarybrycewang-stanford/Awesome-Journal-SkillsJournal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. ｜ 覆盖主流期刊的 Claude Code/Codex 期刊技能包，从选题、识别策略到表格规范与审稿回复全流程，助你快速发论文。PlanificareFără avertismente★ 1,4 K↓ —
- ap-roadmap-scoutSpielewoy/autoprompt-skillAnswer one named planning question with observations tied to the inspected sources; do not write or coordinate the roadmap.PlanificareFără avertismente★ 1,2 K↓ —
- multi-domain-brand-seokostja94/marketing-skillsWhen the user wants to optimize brand search for a company with multiple domains (e.g. parent company.com vs product.ai). Ensure the parent/company domain ranks first for brand queries. Also use when the user mentions "brand search," "multi-domain SEO," "company domain first," "parent vs product domain," "hub-spoke domain," "brand SERP control," or "differentiate company and product domains." For domain structure, use domain-architecture.MarketingFără avertismente★ 1,1 K↓ —
- iros-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when designing or auditing IROS experiments — real-robot trial counts, success criteria set in advance, reset procedures, failure taxonomies, baseline fairness on matched hardware, sim-to-real gap reporting, small-n statistics, and the claim-to-evidence ladder that embodied-systems reviewers apply before they trust a demo.AlteleFără avertismente★ 1,4 K↓ —
- shipevo-hq/evoLand the winning experiment from an evo run as a clean, mergeable change -- open a PR when the repo has a remote, otherwise merge into the working branch. Distills the best-scoring experiment down to the minimal diff that reproduces its behaviour, shaped for the qualities a maintainer merges on (scope discipline, test integrity, style adherence), then attaches an advisory mergeability report. Use when the user invokes /evo:ship, asks to land/merge/ship the best result, or wants to turn a finished optimization into a pull request.TestareFără avertismente★ 1,5 K↓ —Apare și în 1 alt depozit
- icdt-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when deciding what counts as evidence for an ICDT (International Conference on Database Theory) result — matching-bound complexity analysis as the primary evidence, worked examples and counterexamples that establish separations, and, only for papers with an algorithmic contribution, a proportional and honestly-scoped experimental evaluation that does not pretend to be the contribution.DateFără avertismente★ 1,4 K↓ —
- plugin-importuvwt/agentdock当用户要安装或更新来自 Git、GitHub、外部插件市场或其他远程来源的 Plugin 时使用；负责把远程来源固定并取得到本地，再交给 plugin_manage 自动识别 Portable/OpenAI/Claude 格式、审核和安装。InginerieFără avertismente★ 1,3 K↓ —
- subagent-driven-developmentGanyuanRan/AegisUse when executing a written implementation plan with independent tasks in the current session where delegation beats inline coordination cost; otherwise inline. Ad-hoc 2+ tasks without a plan use dispatching-parallel-agents.MarketingFără avertismente★ 1,4 K↓ —
- stoc-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.MediaFără avertismente★ 1,4 K↓ —
- hri-writing-stylebrycewang-stanford/Awesome-Journal-SkillsUse when drafting or revising an ACM/IEEE HRI full paper's structure and prose for an interdisciplinary audience — leading with the human-robot contribution and research questions, making hypotheses and measures explicit, describing the robot embodiment, keeping claims proportional to the study within the 8-page acmart budget, and writing so the chosen track's contribution type is unmistakable.RedactareFără avertismente★ 1,4 K↓ —
- vis-supplementarybrycewang-stanford/Awesome-Journal-SkillsUse when deciding what belongs in an IEEE VIS paper body versus its supplemental materials, covering the VGTC/TVCG 9+2 page budget, the supplemental video that VIS reviewers routinely watch, the one-week supplemental deadline extension, double-blind supplemental anonymization, and how to split a visualization paper between the reviewed pages and the archive.MediaFără avertismente★ 1,4 K↓ —
cav-experiments
brycewang-stanford/Awesome-Journal-Skills
AlteleActualizat 27 sept. 2026
De la autor
Use when designing or auditing a CAV (Computer Aided Verification) empirical evaluation, covering standard benchmark sets (SV-COMP/SMT-COMP/HWMCC/VNN-COMP), fair baseline solvers with pinned versions and equal resource limits, timeout-dominated comparisons, soundness cross-checks and proof witnesses, cactus/scatter reporting, and matching evidence to the shape of each verification claim.
Instalare
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-experiments -a claude-code
Se instalează în .claude/skills/cav-experiments/ · 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