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.
46,700 skills from 2,243 repositories · updated 11 hours ago
10,031 skills
- debate-practice-coachtravisjneuman/.claudeInteractive debate and argument practice with structured feedback, counterargument generation, logical fallacy identification, and scoring rubrics. Use when preparing for debates, improving persuasion skills, or practicing argumentation.OtherNo warnings★ 106↓ —
- skill-createSummerEngine/summerBootstrap a new Summer library skill (library/skills/<slug>/ with resource.yaml and SKILL.md), frontmatter, and stub sections.OtherNo warnings★ 88↓ —
- dealtonone-ai/tononeRevenue & Sales engineer — B2B pipeline, deal strategy, pricing proposals, sales playbooks, and enterprise closing. Use when asked to "price this deal", "build a sales playbook", "close an enterprise deal", or "manage the B2B pipeline".OtherNo warnings★ 76↓ —
- change-managementBagelHole/DevOps-Security-Agent-SkillsImplement change management processes. Configure CAB reviews, change windows, and rollback procedures. Use when managing production changes.OtherNo warnings★ 1.2K↓ —
- roblox-monetizationTabooHarmony/roblox-brainUse when adding, changing, or auditing Roblox purchases: GamePasses, Developer Products, subscriptions, private servers, policy checks.OtherNo warnings★ 127↓ —
- visual-intelligencershankras/claude-code-apple-skillsIntegrate your app with iOS Visual Intelligence for camera-based search and object recognition. Use when adding visual search capabilities.OtherNo warnings★ 834↓ —
- foundation-modelsrshankras/claude-code-apple-skillsOn-device LLM integration using Apple's Foundation Models framework. Use when implementing AI text generation, structured output, or tool calling.OtherNo warnings★ 834↓ —
- eventsdeeleeramone/PyWryThe PyWry event system — namespaced events, request/response round-trips, widget IDs, component IDs, and how tool results flow back to the agent.OtherNo warnings★ 99↓ —
- hunt-ioctonone-ai/tononeAnalyze indicators of compromise — enrichment, attribution, and response recommendations. Use when asked to "analyze these IOCs", "enrich these indicators", or "what is this hash".OtherNo warnings★ 76↓ —
- preview-data-generatorrshankras/claude-code-apple-skillsGenerate sample data and a multi-variantOtherNo warnings★ 834↓ —
- announcement-bannerrshankras/claude-code-apple-skillsGenerates an in-app announcement banner system with remote configuration, scheduling, deep link actions, and dismiss tracking. Use when user wants in-app banners, promotional notices, maintenance alerts, or contextual announcements.OtherNo warnings★ 834↓ —
- dream-weirdcore-stylearjun988/blender-skillsDreamcore, weirdcore, and traumacore-inspired art direction for Blender with nostalgic wrongness, liminal nostalgia, and surreal childhood spaces.OtherNo warnings★ 1.1K↓ —Also in 1 other repo
- proof-failure-explainerArabelaTso/Skills-4-SEAnalyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumptions, incorrect goals, unification failures, or inapplicable tactics. Use when the user encounters proof failures, error messages in formal verification, stuck proof states, or asks why their Isabelle/Coq proof doesn't work.OtherNo warnings★ 259↓ —
- app-icon-generatorrshankras/claude-code-apple-skillsGenerates an app icon for macOS or iOS — a fast CoreGraphics placeholder and/or flat layered source art to finish in Icon Composer (the Liquid Glass / iOS 26+ standard). Produces appearance variants (light/dark/tinted) and installs into the asset catalog. Use when the user wants to create, generate, iterate, or update an app icon.OtherNo warnings★ 834↓ —
- angular-expertroedyrustam/vibes-plugAngular 19+ enterprise apps, Signals, Standalone, and NgRx Store / Aplikasi enterprise Angular 19+, Signals, dan NgRx SignalStore.OtherNo warnings★ 115↓ —
- persistence-setuprshankras/claude-code-apple-skillsGenerates SwiftData or CoreData persistence layer with optional iCloud sync. Use when user wants to add local storage, data persistence, or cloud sync.OtherNo warnings★ 834↓ —
- cmuxlingxling/awesome-skills-cnControl cmux workspaces, panes, surfaces, and agent sessions safely from macOS terminal workflows.OtherNo warnings★ 321↓ —
- enforceescoffier-labs/brigadeUse when the user asks to turn on Brigade's full work loop (verification capture, raw-check blocking, and the handoff-before-stop gate) in the current repository.OtherNo warnings★ 81↓ —
- library-docsTaewoooPark/MotifcodeFind version-matched library documentation before implementing unfamiliar APIs or fixing dependency compatibility.OtherNo warnings★ 77↓ —
- tia-devices-generalCzarnak/totally-integrated-claudeC# Openness implementation of device-level operationsOtherNo warnings★ 75↓ —
- variable-rewardsrshankras/claude-code-apple-skillsGenerates a variable reward system with randomized rewards, daily bonuses, mystery box mechanics, and ethical engagement caps. Use when user wants daily spins, mystery boxes, random rewards, or gamification reward systems.OtherNo warnings★ 834↓ —
- routeros-syntax-inspectiontikoci/routeros-skillsInspecting and validating RouterOS command/script syntax against a live device via /console/inspect (highlight, completion, syntax, child) and :parse IL. Use when: validating RouterOS commands before execution, explaining or linting RouterOS scripts, building syntax-aware tooling (LSP servers, validators, agent explain/check commands), interpreting highlight token streams or :parse intermediate language, discovering enum values or argument schemas, or when the user mentions console/inspect, highlight tokens, parseIL, or RouterOS script validation.OtherNo warnings★ 81↓ —
- mahnbescheidThomasMoreAI/legal-skills-openFür Mahnverfahren – Paragrafen 688 ff. ZPO: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
- preisangabenThomasMoreAI/legal-skills-openFür Preisangaben (PAngV 2022): ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 95↓ —
proof-failure-explainer
ArabelaTso/Skills-4-SE
OtherUpdated Aug 21, 2026
From the author
Analyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumptions, incorrect goals, unification failures, or inapplicable tactics. Use when the user encounters proof failures, error messages in formal verification, stuck proof states, or asks why their Isabelle/Coq proof doesn't work.
Install
npx skills add ArabelaTso/Skills-4-SE --skill proof-failure-explainer -a claude-code
Installs to .claude/skills/proof-failure-explainer/ · 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: APACHE-2.0
Safety checks on SKILL.md
No warnings.
Why 83
Security100
Provenance69
Maintenance85
Licence100
Adoption40
Files (2)
- SKILL.md
- references/failure_patterns.md