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,100 skills from 2,198 repositories · updated 20 hours ago
9,541 skills
- agent-ready-personal-agent-protocolfabricioctelles/skillsSub-skill: Implement Personal Agent Protocol (Poppy) discovery. Publish /.well-known/poppy.json (draft 0.1) and validate its OAuth issuer binding. Informational check; does not affect level or score.OtherNo warnings★ 123↓ —
- async-repl-protocolparcadei/Continuous-Claude-v3Async REPL ProtocolOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- zhangyi-systemsaph199686/zhangyi-studio张翼机制与系统设计：核心循环细化、新机制评审过闸、数值纪律与平衡裁决。每个机制必须回答'解决哪个病灶'、区分'强化内核还是堆系统'、推演诱发的玩家行为与情绪，输出系统裁决书。Use when the user designs mechanics/systems, tunes numbers or balance, evaluates adding a new mechanic, designs core loop details, or asks whether a feature is worth building. 用户设计机制与系统、调数值做平衡、纠结加不加某个机制、细化核心循环、或问某个功能值不值得做时使用。OtherNo warnings★ 119↓ —
- ampel-systemThomasMoreAI/legal-skills-openFür Ampelsystem für Status: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- flashcardsThomasMoreAI/legal-skills-openGenerate or drill flashcards for rule memorization — Leitner-style buckets, per-subject markdown storage, drill mode with self-assessment. Use when the user says "drill flashcards", "make flashcards from", "quiz me on cards", or wants to memorize rules.OtherNo warnings★ 96↓ —
- leann-searchparcadei/Continuous-Claude-v3Semantic search across codebase using LEANN vector indexOtherNo warnings★ 3.9K↓ —
- example-chartjsBintzGavin/heliosChart.js integration patterns for Helios. Use when creating animated data visualizations with Chart.js.OtherNo warnings★ 123↓ —
- search-toolsparcadei/Continuous-Claude-v3Search Tool HierarchyOtherNo warnings★ 3.9K↓ —
- pm-agilekonglong87/superPMUse when: 项目启动时需要建立敏捷开发流程、设计团队协作机制、规划迭代节奏 Do NOT use when: 团队已有成熟敏捷流程、仅需单一项目管理工具而非流程设计OtherNo warnings★ 84↓ —
- worth-fixluochang212/skill-zoo分析和判断任何论断、报告、想法或需求的真实性、价值与做法。当用户说"这个 bug 是真的吗"、"分析一下这个问题/这个报告/这个说法"、"这个修复值得做吗"、"帮我看下这个建议靠不靠谱"，或用户给出一个待评估的 bug 报告、文章摘录、设计提案时使用。先核验、复现、定级、讲清原理、判断是否值得做，而不是直接相信或直接动手改代码。也适用于评估"要不要重构"。OtherNo warnings★ 124↓ —
- create-triggerharness/harness-skillsGenerate Harness Trigger YAML for automated pipeline execution and create via MCP. Use when user says "create trigger", "webhook trigger", "cron trigger", "scheduled build", "artifact trigger", or wants pipelines to run automatically.OtherNo warnings★ 126↓ —
- manage-delegatesharness/harness-skillsMonitor and manage Harness Delegates via MCP. List delegates and check health status, manage delegate registration tokens (create, revoke, delete), and find which delegates are associated with a token. Use when asked about delegate status, delegate health, delegate connectivity, delegate tokens, or troubleshooting delegate issues. Trigger phrases: delegate status, delegate health, list delegates, delegate token, delegate connectivity, delegate troubleshooting, delegate down.OtherNo warnings★ 126↓ —
- analyze-costsharness/harness-skillsAnalyze cloud costs, find optimization opportunities, and track anomalies using Harness CCM via MCP. Use when user says "cloud costs", "analyze costs", "cost optimization", "reduce spending", "cost report", or asks about cloud bills.OtherNo warnings★ 126↓ —
- tauri-updaterluochang212/skill-zooUse when adding software auto-update to a Tauri 2 desktop app, or when users ask about tauri-plugin-updater integration, app update checking, distinguishing installer vs portable builds for updates, or generating update manifests for GitHub Releases.OtherNo warnings★ 124↓ —
- no-headerThomasMoreAI/legal-skills-openLand Title Verifier. This skill allows the agent to check the authenticity of a "Titre Foncier" (Land Title) in Cameroon. It should be used whenever a user provides a title number or asks for property verification.OtherNo warnings★ 96↓ —
- bmad-oldmod-setupalvin-reyes/better-agentic-ideBetter Agentic Development EnvironmentOtherNo warnings★ 85↓ —
- gaming-agbThomasMoreAI/legal-skills-openFür Gaming AGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- choose-metricharness/harness-skillsRecommend primary/guardrail metrics for an experiment or rollout, judged against a good-metric checklist. Checks existing metrics and event health, surfaces auto-created guardrails. Doesn't create or attach metrics — see create-metric / instrument-metric / manage-experiments. Trigger phrases: choose/pick a metric, primary metric, guardrail metric, what to monitor.OtherNo warnings★ 126↓ —
- automationThomasMoreAI/legal-skills-openFür Automationen und Monitoring (Corporate M&A): ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- graceful-degradationparcadei/Continuous-Claude-v3Graceful Degradation with Helpful MessagesOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- app-releaseluochang212/skill-zooUse when the user asks to release a new version, ship a build, or publish a Skill Zoo release. Also use when a tag push results in Homebrew 404 errors or missing artifact failures.OtherNo warnings★ 124↓ —
- compound-learningsparcadei/Continuous-Claude-v3Transform session learnings into permanent capabilities (skills, rules, agents). Use when asked to "improve setup", "learn from sessions", "compound learnings", or "what patterns should become skills".OtherNo warnings★ 3.9K↓ —Also in 1 other repo
- betrug-263ThomasMoreAI/legal-skills-openFür Betrug Paragraf 263 StGB: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- spielervertragThomasMoreAI/legal-skills-openFür Spielervertrag: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: Fachanwalt für Sportrecht. Route: spielervertrag.OtherNo warnings★ 96↓ —
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