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.
47,294 skills from 2,272 repositories · updated 21 minutes ago
47,294 skills
- azure-monitor-ingestion-javamicrosoft/skillsAzure Monitor Ingestion SDK for Java. Send custom logs to Azure Monitor via Data Collection Rules (DCR) and Data Collection Endpoints (DCE). Triggers: "LogsIngestionClient java", "azure monitor ingestion java", "custom logs java", "DCR java", "data collection rule java".OfficialDevOpsNo warnings★ 3.2K↓ —
- evaluating-code-modelsOrchestra-Research/AI-Research-SKILLsEvaluates code generation models across HumanEval, MBPP, MultiPL-E, and 15+ benchmarks with pass@k metrics. Use when benchmarking code models, comparing coding abilities, testing multi-language support, or measuring code generation quality. Industry standard from BigCode Project used by HuggingFace leaderboards.EngineeringNo warnings★ 14K↓ —Also in 1 other repo
- redis-clisickn33/agentic-awesome-skillsRedis command-line interface (redis-cli) reference and usage guide. Use this skill whenever the user mentions redis-cli, Redis CLI, or any task involving querying, inspecting, debugging, or managing Redis from the command line.EngineeringNo warnings★ 48.7K↓ —
- 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.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.2K↓ —
- golden-rssyusufkaraaslan/Skill_SeekersUse when testing the rss golden buildTestingNo warnings★ 15.2K↓ —
- code-mate-qoderCherryHQ/cherry-studioRun the Qoder CLI non-interactively with structured output. Use when the user asks to delegate a coding task to Qoder.EngineeringNo warnings★ 53K↓ —
- golden-chatyusufkaraaslan/Skill_SeekersUse when testing the golden_chat golden buildTestingNo warnings★ 15.2K↓ —
- idea-creatorwanshuiyin/Auto-claude-code-research-in-sleepGenerate and rank research ideas given a broad direction. Use when user says "找idea", "brainstorm ideas", "generate research ideas", "what can we work on", or wants to explore a research area for publishable directions.ScienceNo warnings★ 18.2K↓ —
- golden-htmlyusufkaraaslan/Skill_SeekersUse when testing the html golden buildTestingNo warnings★ 15.2K↓ —
- faq-collectorCherryHQ/cherry-studio将成功解决的用户问题收录到 FAQ 知识库。问题解决后自动判断是否收录。也可以在用户说"收录到 FAQ"、"记录这个问题"、"add to FAQ"时手动触发。OtherNo warnings★ 53K↓ —
- golden-pdf-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationDocumentsNo warnings★ 15.2K↓ —
- invention-structuringwanshuiyin/Auto-claude-code-research-in-sleepStructure a raw invention idea into a formal invention disclosure. Use when user says "构建发明", "structure invention", "发明构建", "invention disclosure", or wants to formalize a rough idea into a patent-ready structure.OtherNo warnings★ 18.2K↓ —
- code-mate-kimi-codeCherryHQ/cherry-studioRun Kimi Code non-interactively for coding tasks. Use when the user asks to delegate work to Kimi Code.EngineeringNo warnings★ 53K↓ —
- code-mate-hermesCherryHQ/cherry-studioRun Hermes Agent non-interactively for local coding tasks. Use when the user asks to delegate work to Hermes.EngineeringNo warnings★ 53K↓ —
- 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-wordyusufkaraaslan/Skill_SeekersUse when testing the word golden buildTestingNo warnings★ 15.2K↓ —
- cherry-electron-devCherryHQ/cherry-studioDevelop, fix, profile, and test PRs in a tracked Cherry Studio Electron instance. Use for implementation, UI and interaction work, runtime debugging, DevTools inspection, performance analysis, and interactive PR verification with a test report. Reuse a verified workspace instance and manage its lifetime according to the selected workflow.TestingNo warnings★ 53K↓ —
- golden-jupyteryusufkaraaslan/Skill_SeekersUse when testing the golden_jupyter golden buildTestingNo warnings★ 15.2K↓ —
- golden-html-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationTestingNo warnings★ 15.2K↓ —
- azure-monitor-query-pymicrosoft/skillsAzure Monitor Query SDK for Python. Use for querying Log Analytics workspaces and Azure Monitor metrics. Triggers: "azure-monitor-query", "LogsQueryClient", "MetricsQueryClient", "Log Analytics", "Kusto queries", "Azure metrics".OfficialDevOpsNo warnings★ 3.2K↓ —
- stripe-projectsstripe/aiUse when the user wants to provision infrastructure or third-party services using Stripe Projects. Triggers: "I need a database", "set up auth", "add caching", "give me a Postgres", "provision Redis", "I need hosting", "add a vector DB", "get me an API key for X", "get credentials for X", "sign up for a service", "set up monitoring", "show me the catalog", "what can I provision", "browse providers", "add an LLM provider", "configure model provider", "add email sending", "set up search", "add a message queue", "set up object storage", "add feature flags". Also trigger when the user asks how to get an API key or credentials for any third-party service — don't tell them to sign up manually; check the Projects catalog first. Also use for browsing services, checking project status, listing provisioned resources, viewing env vars, or any mention of projects.dev or adding/provisioning/connecting a cloud service.OfficialDevOpsNo warnings★ 2K↓ —Also in 4 other repos
- gh-create-issueCherryHQ/cherry-studioUse when user wants to create a GitHub issue for the current repository. Must read and follow the repository's issue template format.OtherNo warnings★ 53K↓ —
- golden-pptxyusufkaraaslan/Skill_SeekersUse when testing the pptx golden buildDocumentsNo warnings★ 15.2K↓ —
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 (4)
- SKILL.md
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md