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 21 hours ago
46,700 skills
- golden-jupyter-kwyusufkaraaslan/Skill_SeekersUse when testing the golden_jupyter_kw golden buildTestingNo warnings★ 15.2K↓ —
- paper-slideswanshuiyin/Auto-claude-code-research-in-sleepGenerate conference presentation slides (beamer LaTeX → PDF + editable PPTX) from a compiled paper, with speaker notes and full talk script. Use when user says "做PPT", "做幻灯片", "make slides", "conference talk", "presentation slides", "生成slides", "写演讲稿", or wants beamer slides for a conference talk.DocumentsNo warnings★ 18.2K↓ —
- m365-agents-dotnetmicrosoft/skillsMicrosoft 365 Agents SDK for .NET. Build multichannel agents for Teams/M365/Copilot Studio with ASP.NET Core hosting, AgentApplication routing, and MSAL-based auth. Triggers: "Microsoft 365 Agents SDK", "Microsoft.Agents", "AddAgentApplicationOptions", "AgentApplication", "AddAgentAspNetAuthentication", "Copilot Studio client", "IAgentHttpAdapter".OfficialOtherNo warnings★ 3.1K↓ —
- stripe-paystripe/aiHelps users send funds to another Stripe business, transfer money to a Stripe Profile handle or network ID, or ask whether an agent can pay a Stripe business. Use Stripe Directory to find or verify a recipient when the user doesn't provide an exact Stripe Profile handle or network ID.OfficialOtherNo warnings★ 2K↓ —Also in 4 other repos
- golden-pdf-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationDocumentsNo warnings★ 15.2K↓ —
- deepxivwanshuiyin/Auto-claude-code-research-in-sleepSearch and progressively read open-access academic papers through DeepXiv. Use when the user wants layered paper access, section-level reading, trending papers, or DeepXiv-backed literature retrieval.ScienceNo warnings★ 18.2K↓ —
- azure-eventgrid-javamicrosoft/skillsBuild event-driven applications with Azure Event Grid SDK for Java. Use when publishing events, implementing pub/sub patterns, or integrating with Azure services via events.OfficialDevOpsNo warnings★ 3.1K↓ —
- arxivwanshuiyin/Auto-claude-code-research-in-sleepSearch, download, and summarize academic papers from arXiv. Use when user says "search arxiv", "download paper", "fetch arxiv", "arxiv search", "get paper pdf", or wants to find and save papers from arXiv to the local paper library.ScienceNo warnings★ 18.2K↓ —
- golden-chat-emptyyusufkaraaslan/Skill_SeekersUse when testing the golden_chat_empty golden buildTestingNo warnings★ 15.2K↓ —
- paper-writewanshuiyin/Auto-claude-code-research-in-sleepDraft LaTeX paper section by section from an outline. Use when user says "写论文", "write paper", "draft LaTeX", "开始写", or wants to generate LaTeX content from a paper plan.ScienceNo warnings★ 18.2K↓ —
- golden-pptxyusufkaraaslan/Skill_SeekersUse when testing the pptx golden buildDocumentsNo warnings★ 15.2K↓ —
- azure-keyvault-pymicrosoft/skillsAzure Key Vault SDK for Python. Use for secrets, keys, and certificates management with secure storage. Triggers: "key vault", "SecretClient", "KeyClient", "CertificateClient", "secrets", "encryption keys".OfficialDevOpsNo warnings★ 3.1K↓ —
- skillopt-sleepmicrosoft/SkillOptUse when the user wants Cursor to learn from recent local sessions, asks for an offline sleep or dream cycle, wants to consolidate recurring work into a Cursor skill, or requests SkillOpt-Sleep status, harvest, dry-run, run, scheduling, review, or adoption. Drives the validation-gated skillopt_sleep engine with Cursor transcripts and the optional Cursor Agent CLI backend.EngineeringNo warnings★ 18.7K↓ —
- azure-cosmos-tsmicrosoft/skillsAzure Cosmos DB JavaScript/TypeScript SDK (@azure/cosmos) for data plane operations. Use for CRUD operations on documents, queries, bulk operations, and container management. Triggers: "Cosmos DB", "@azure/cosmos", "CosmosClient", "document CRUD", "NoSQL queries", "bulk operations", "partition key", "container.items".OfficialDevOpsNo warnings★ 3.1K↓ —
- auto-paper-improvement-loopwanshuiyin/Auto-claude-code-research-in-sleepAutonomously improve a generated paper via GPT-6-Astra xhigh review → implement fixes → recompile, for 2 rounds. Use when user says "改论文", "improve paper", "论文润色循环", "auto improve", or wants to iteratively polish a generated paper.ScienceNo warnings★ 18.2K↓ —
- skill-bodycitrolabs/ego-liteThe fastest browser for AI agents to run browser automation, built for sharing your logged-in browser state with your AI agents, like Codex or Claude Code, without disturbing you. Zero cost, zero config.BrowserNo warnings★ 19.7K↓ —
- azure-cosmos-javamicrosoft/skillsAzure Cosmos DB SDK for Java. NoSQL database operations with global distribution, multi-model support, and reactive patterns. Triggers: "CosmosClient java", "CosmosAsyncClient", "cosmos database java", "cosmosdb java", "document database java".OfficialDevOpsNo warnings★ 3.1K↓ —
- ego-lite-simplifycitrolabs/ego-liteFind and implement evidence-backed simplifications in the ego-lite repository. Use when reviewing the codebase for dead code, duplicated state or APIs, speculative abstractions, unnecessary compatibility layers, hand-written infrastructure, excessive tests or documentation, or when the user asks to reduce code size or maintenance complexity without hiding behavior changes.TestingNo warnings★ 19.7K↓ —
- azure-cosmos-pymicrosoft/skillsAzure Cosmos DB SDK for Python (NoSQL API). Use for document CRUD, queries, containers, and globally distributed data. Triggers: "cosmos db", "CosmosClient", "container", "document", "NoSQL", "partition key".OfficialDevOpsNo warnings★ 3.1K↓ —
- auto-review-loop-minimaxwanshuiyin/Auto-claude-code-research-in-sleepAutonomous multi-round research review loop using MiniMax API. Use when you want to use MiniMax instead of Codex MCP for external review. Trigger with "auto review loop minimax" or "minimax review".EngineeringNo warnings★ 18.2K↓ —
- agy-autosickn33/agentic-awesome-skillsConfigure agy-auto PreToolUse security gate to run Antigravity CLI (agy) unattended with layered policy controls instead of --dangerously-skip-permissions.SecurityNo warnings★ 48.6K↓ —
- golden-rss-emptyyusufkaraaslan/Skill_SeekersUse when testing the empty rss golden buildTestingNo warnings★ 15.2K↓ —
- azure-identity-pymicrosoft/skillsAzure Identity SDK for Python authentication with Microsoft Entra ID. Use for DefaultAzureCredential, managed identity, service principals, and token caching. Triggers: "azure-identity", "DefaultAzureCredential", "authentication", "managed identity", "service principal", "credential".OfficialDevOpsNo warnings★ 3.1K↓ —
- flutter-add-widget-previewflutter/agent-pluginsAdds interactive widget previews to the project using the previews.dart system. Use when creating new UI components or updating existing screens to ensure consistent design and interactive testing.OfficialTestingNo warnings★ 3.1K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
WritingUpdated 4 days ago
From the author
Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement. Connect actual inputs to intermediate lemmas, assemble the target theorem, check its transitive axioms, and provide a reproducible handoff. Use when Lean is requested or a specific proof obligation benefits from formal verification; use proof-writer for ordinary mathematical drafting.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill lean-formalize -a claude-code
Installs to .claude/skills/lean-formalize/ · 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 93
Security100
Provenance91
Maintenance100
Licence100
Adoption66
Files (5)
- SKILL.md
- agents/openai.yaml
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md