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,492 skills from 2,391 repositories · updated 12 hours ago
48,451 skills
- cav-supplementarybrycewang-stanford/Awesome-Journal-SkillsUse 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 are not obliged to read the appendix so decision-critical content stays in the body, where full proofs and benchmark tables live, and double-anonymous supplementary material for the anonymized categories.ScienceNo warnings★ 1.4K↓ —
- render-split-screen-creatorgooseworks-ai/goose-skillsAssemble a split-screen creator ad from a config: an AI-creator lip-sync take fills the bottom half while real 16:9 product or demo clips play uncropped in the top half over a blurred fill of the same clip (never black bars), with a brand-colour divider between them. Scenes follow the voiceover timing and are joined hard, an end card holds about 3 seconds, then the finished cut is transcribed and word-level captions are burned in the chosen style. Free, deterministic assembly and captions; the voiceover comes from create-vo-elevenlabs, the creator anchor from create-image-gpt-image-fal, and the lip-sync take is supplied as an input. Use for the split-screen-creator format.MediaNo warnings★ 1.3K↓ —
- 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.MarketingNo warnings★ 1.1K↓ —
- uai-writing-stylebrycewang-stanford/Awesome-Journal-SkillsUse when revising a UAI manuscript for probabilistic-inference readers, enforcing precise notation for distributions, graphs, and interventions, explicit assumption and identifiability statements, an 8-page main part that carries the whole argument while proofs sit in the appendix, and claims calibrated to what the theory and experiments show.WritingNo warnings★ 1.4K↓ —
- react-doctoramplifthq/openmeldUse when the user requests React Doctor or a React code-health audit, or when a concrete React diagnostic question would benefit from its scan. Not a default step after React changes or before committing.EngineeringNo warnings★ 1.4K↓ —
- package-healthmohitagw15856/pm-claude-skillsCheck a package's health before you depend on it — npm and PyPI registry APIs via keyless curl: downloads, release recency, maintenance signals, and the dependency-decision read. Use when asked is this npm package maintained, check this PyPI library before we adopt it, compare these two packages, or is this dependency abandoned. Produces the health read with the signals interpreted (not just listed), the numbers with their commands, and the adopt/avoid/vendor recommendation framing.OtherNo warnings★ 1.5K↓ —
- agenthubalirezarezvani/claude-skillsRun several agents on one task in parallel and keep the best result: faster code, copy variants, research angles. Use whenever the user wants multiple attempts compared or best of N; spawns agents in git worktrees, ranks and merges the winner.ScienceNo warnings★ 29.3K↓ —
- windfall-planmohitagw15856/pm-claude-skillsMake a smart plan for a lump sum — a bonus, inheritance, tax refund, settlement, or sale — so it builds your future instead of evaporating into lifestyle. Use when asked what should I do with a windfall, I came into some money, how to use a bonus/inheritance/tax refund, or don't want to waste this money. Produces a cool-off-first plan, a tax/obligations check, an allocation across foundation-building, goals, and a guilt-free fun slice, and cautions against the classic windfall traps and the vultures that appear. Educational — not financial advice.PlanningNo warnings★ 1.5K↓ —
- weekly-reporthoangsonww/Claude-Code-Agent-MonitorCompile a weekly productivity report using Agent Monitor data — daily_sessions and daily_events trends, per-session costs from pricing engine, token volumes (input/output/cache_read/cache_write + baselines), tool usage top 20, session completion rates by status, and workflow intelligence metrics.ProductivityNo warnings★ 1.1K↓ —
- 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.DataNo warnings★ 1.4K↓ —
- products-page-generatorkostja94/marketing-skillsDeprecated compatibility entry for Commerce Product Page construction. This page is now maintained in Pagina; install and use page-builder to build a new Commerce Product Page.OtherNo warnings★ 1.1K↓ —
- logo-generatorkostja94/marketing-skillsDeprecated compatibility entry for Logo construction. This component is now maintained in Bricks; install and use component-builder to build a new Logo.OtherNo warnings★ 1.1K↓ —
- graduate-cvmohitagw15856/pm-claude-skillsWrite a first CV for a student or recent graduate with little work experience, using coursework, projects, part-time jobs, societies and volunteering as real evidence. Use when asked to write my first CV, graduate CV, internship resume, I have no experience what do I put, or my CV for campus recruitment or a graduate scheme. Produces a one-page CV with education first, evidence-based project and activity bullets, a skills section tied to proof, and a list of quick additions that would strengthen it before deadlines.WritingNo warnings★ 1.5K↓ —
- asc-analytics-reportsrorkai/app-store-connect-cli-skillsCollect, download, and verify App Store Connect Analytics reports with asc. Use when users need to discover analytics report requests, select report instances by processing date or granularity, download every segment, or verify downloaded files against Apple's size and MD5 metadata before analysis.DataNo warnings★ 1.1K↓ —
- writing-testsamplifthq/openmeldGates whether a new test should exist and forces it to be efficient, protecting CI from low-value test bloat. Use before any change to what a pytest, Jest, or Playwright test asserts or sets up, down to one fixture or one assertion added to an existing block. Front-loads the value bar (every test must catch a realistic regression no existing test already catches; extend the nearest existing test before writing a new standalone one; test behavior through the public interface, not implementation details; collapse near-duplicates into parameterized cases) and the efficiency bar (deterministic, isolated, fast; pick the cheapest test level; Django TestCase over TransactionTestCase; no sleeps, no real network; no time bombs from absolute dates left to age against the real clock; no database a test never uses). Includes a "don't write it" decision tree. For fixing an existing flaky test use `/fixing-flaky-tests`; after this gate says a Playwright test is warranted, use `/playwright-test` for mechanics.TestingNo warnings★ 1.4K↓ —
- asc-app-create-uirorkai/app-store-connect-cli-skillsCreate a new App Store Connect app record via browser automation. Use when there is no public API for app creation and you need an agent to drive the New App form.DesignNo warnings★ 1.1K↓ —
- optimization-suggesthoangsonww/Claude-Code-Agent-MonitorSuggest concrete optimizations for Claude Code usage based on historical session data. Covers cost reduction, speed improvement, error prevention, and workflow efficiency. Use for data-driven optimization planning.PlanningNo warnings★ 1.1K↓ —
- error-propagationhoangsonww/Claude-Code-Agent-MonitorTrace error propagation through a multi-agent session by agent depth — where failures originated, the depth at which they appeared, and how they cascaded up to parent agents — using the Agent Monitor workflow intelligence API and the session event stream. Use when a multi-agent run failed and you need to find the origin and blast radius of the failure.EngineeringNo warnings★ 1.1K↓ —
- unslopNewhashgraph-online/awesome-codex-pluginsRewrite prose so it stops reading as machine-generated, using EndoStack's numbered catalog of AI-writing tells. Use on /unslop, "de-AI this", "clean up this draft", "make this plain", and whenever another skill sends text here for a slop pass.WritingNo warnings★ 1.5K↓ —
- podc-experimentsbrycewang-stanford/Awesome-Journal-SkillsUse when building the evidence for an ACM PODC paper — where "evidence" is a proof, not a benchmark. Covers matching upper and lower bounds, tightness arguments, model and assumption stress-tests, adversary-strength calibration, and the honest, clearly-optional role of any simulation in a distributed-computing-theory paper.TestingNo warnings★ 1.4K↓ —
- rtvi-cv-customize-modelNVIDIA/skillsHow to swap the DeepStream CV detection model in the VSS Alerts Blueprint verification (2d_cv) mode - covers ONNX export, custom bbox parsers, compose mount gotchas, nvinfer config, runtime TRT engine build, deployment, and a segmentation-capable model addendum handoff.DevOpsNo warnings★ 3.9K↓ —
- policy-memomohitagw15856/pm-claude-skillsWrite a decision-ready policy memo that frames an issue and recommends an option. Use when asked to write a policy memo, options paper, decision memo for a principal/minister/executive, or brief a decision-maker on a policy choice. Produces a tight memo: the issue, background, options with trade-offs, a clear recommendation, and implementation/risks — written for a busy decision-maker who reads the first paragraph.ScienceNo warnings★ 1.5K↓ —
- skill-shareComposioHQ/awesome-claude-skillsA skill that creates new Claude skills and automatically shares them on Slack using Rube for seamless team collaboration and skill discovery.OtherNo warnings★ 78.7K↓ —Also in 2 other repos
- a-philosophy-of-software-designciembor/agent-rules-booksApply John Ousterhout-inspired software design rules when reducing complexity, designing module boundaries, or reviewing APIs and abstractions.DesignNo warnings★ 3.2K↓ —
cav-experiments
brycewang-stanford/Awesome-Journal-Skills
OtherUpdated Sep 27, 2026
From the author
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.
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-experiments -a claude-code
Installs to .claude/skills/cav-experiments/ · 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