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.
45,603 skills from 2,205 repositories · updated 13 minutes ago
9,546 skills
- composioaAAaqwq/AGI-Super-TeamBuild AI agents and apps with Composio - access 200+ external tools with Tool Router or direct executionOtherNo warnings★ 111↓ —
- whatsapp-sendaAAaqwq/AGI-Super-TeamBaileys WhatsApp message sendingOtherNo warnings★ 111↓ —
- web-searchaAAaqwq/AGI-Super-Team网络搜索与网页内容获取。当用户需要搜索互联网信息、获取网页内容、查找实时数据、进行 websearch 时使用此技能。支持多种搜索工具:WebFetch、Firecrawl skill、Tavily skill。OtherNo warnings★ 111↓ —
- after-salesaAAaqwq/AGI-Super-TeamUse when managing post-purchase experience, building customer loyalty, or increasing repeat purchasesOtherNo warnings★ 111↓ —
- release-change-analyzerArabelaTso/Skills-4-SECompares HEAD with the latest published version to analyze real changes, group by type, and recommend version bumps. Use before publishing a release to understand what actually changed.OtherNo warnings★ 259↓ —
- abstract-domain-explorerArabelaTso/Skills-4-SEApplies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.OtherNo warnings★ 259↓ —
- lemma-discovery-assistantArabelaTso/Skills-4-SEAnalyze failed or stuck proofs and propose auxiliary lemmas to help complete the proof in Isabelle/HOL or Coq. Use when encountering proof failures, stuck proof states, unprovable subgoals, or when needing to strengthen induction hypotheses. Identifies missing lemmas, suggests proof strategies, and generates helper lemmas with appropriate statements and proof sketches. Supports inductive proofs, case analysis, rewriting, and complex proof obligations.OtherNo warnings★ 259↓ —
- find-skillsaAAaqwq/AGI-Super-TeamHelps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skill should be used when the user is looking for functionality that might exist as an installable skill.OtherNo warnings★ 111↓ —
- control-flow-abstraction-generatorArabelaTso/Skills-4-SEGenerate abstract Control Flow Graph (CFG) representations of programs showing loops, branches, and function calls for static analysis or verification. Use when users need to: (1) Visualize program control flow structure, (2) Generate CFGs for static analysis tools, (3) Create control flow abstractions for formal verification, (4) Analyze program paths and reachability, (5) Document program structure. Supports both function-level (intraprocedural) and program-level (interprocedural) analysis with multiple output formats (textual, DOT/Graphviz, JSON).OtherNo warnings★ 259↓ —
- laravel-expertGulajavaMinistudio/awesome-copilot-idLaravel & PHP Development Instructions for GitHub CopilotOtherNo warnings★ 87↓ —
- reference-searcherArabelaTso/Skills-4-SESystematic external reference searching across documentation, open-source repositories, and web resources. Use when working with unfamiliar libraries, APIs, or when needing production-quality implementation examples.OtherNo warnings★ 259↓ —
- 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↓ —
- google-authaAAaqwq/AGI-Super-TeamGoogle OAuth setup, refresh tokensOtherNo warnings★ 111↓ —
- work-to-skillaAAaqwq/AGI-Super-Team工作即技能:每次完成一项有复用价值的工作后,自动评估并封装为可复用 Skill。让团队在工作中持续进化。OtherNo warnings★ 111↓ —
- 13f-analysiscxcscmu/SkillLearnBench[COLM'26] SkillLearnBench is the first benchmark for evaluating continual learning methods that automatically generate agent skills.OtherNo warnings★ 91↓ —
- NginxaAAaqwq/AGI-Super-TeamConfigure Nginx for reverse proxy, load balancing, SSL termination, and high-performance static serving.OtherNo warnings★ 111↓ —
- openhraAAaqwq/AGI-Super-TeamBoss直聘全流程AI自动化招聘智能体。自动登录、筛选候选人、个性化打招呼、智能聊天跟进、简历解析、飞书同步。触发词:启动招聘、自动打招呼、boss greet、openhr、简历解析、上传飞书。OtherNo warnings★ 111↓ —
- sc100-form-mappingcxcscmu/SkillLearnBenchMap case information to California Small Claims Court Form SC-100 fields. Use this skill whenever you need to fill the SC-100 form, understand its structure, extract field names, or map plaintiff/defendant information to the correct form sections.OtherNo warnings★ 91↓ —
- invoiceaAAaqwq/AGI-Super-TeamManual invoice generation without CRMOtherNo warnings★ 111↓ —
- nextjs-authenticationgiuseppe-trisciuoglio/developer-kitProvides authentication implementation patterns for Next.js 15+ App Router using Auth.js 5 (NextAuth.js). Use when setting up authentication flows, implementing protected routes, managing sessions in Server Components and Server Actions, configuring OAuth providers, implementing role-based access control, or handling sign-in/sign-out flows in Next.js applications.OtherNo warnings★ 363↓ —
- run2_fund_analysiscxcscmu/SkillLearnBenchAnalyze individual fund holdings, AUM, and portfolio composition from 13-F dataOtherNo warnings★ 91↓ —
- documentsaAAaqwq/AGI-Super-TeamManage company & personal documents — rekvizity, passport, INN, bank details, scans. Store locally + Google Drive. Send data blocks on request.OtherNo warnings★ 111↓ —
- oil-skill-creatoroil-oil/oil-skill-creator创建、评审、整改和发布 Skill。用户想从零创建 Skill、评审现有 Skill、检查它是否真正有用、修复触发或执行流程,或者改善首次使用、稳定性、Token 开销、文件分层、弱模型可读性与跨平台兼容性时使用。不要用于执行目标 Skill 负责的实际任务,也不要因为普通的编码、设计或写作请求触发。OtherNo warnings★ 92↓ —
- batch-organizercxcscmu/SkillLearnBenchEfficiently organizes large numbers of files into directories.OtherNo warnings★ 91↓ —