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 17 hours ago
46,700 skills
- azure-resource-manager-redis-dotnetmicrosoft/skillsAzure Resource Manager SDK for Redis in .NET. Use for MANAGEMENT PLANE operations: creating/managing Azure Cache for Redis instances, firewall rules, access keys, patch schedules, linked servers (geo-replication), and private endpoints via Azure Resource Manager. NOT for data plane operations (get/set keys, pub/sub) - use StackExchange.Redis for that. Triggers: "Redis cache", "create Redis", "manage Redis", "ARM Redis", "RedisResource", "provision Redis", "Azure Cache for Redis".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-mgmt-applicationinsights-dotnetmicrosoft/skillsAzure Application Insights SDK for .NET. Application performance monitoring and observability resource management. Use for creating Application Insights components, web tests, workbooks, analytics items, and API keys. Triggers: "Application Insights", "ApplicationInsights", "App Insights", "APM", "application monitoring", "web tests", "availability tests", "workbooks".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-security-keyvault-secrets-javamicrosoft/skillsAzure Key Vault Secrets Java SDK for secret management. Use when storing, retrieving, or managing passwords, API keys, connection strings, or other sensitive configuration data.OfficialSecurityNo warnings★ 3.1K↓ —
- azure-monitor-opentelemetry-tsmicrosoft/skillsInstrument applications with Azure Monitor and OpenTelemetry for JavaScript (@azure/monitor-opentelemetry). Use when adding distributed tracing, metrics, and logs to Node.js applications with Application Insights.OfficialDevOpsNo warnings★ 3.1K↓ —
- defuddleAgriciDaniel/claude-obsidianPlan optional Defuddle extraction and retain already available local source files through reviewed filesystem capture. Use for defuddle, clean this URL, strip page clutter, readable Markdown from a web page, or preparing a web source for later wiki ingestion. Network extraction remains unavailable until an enforcing adapter is verified.PlanningNo warnings★ 15.8K↓ —
- azure-ai-vision-imageanalysis-javamicrosoft/skillsBuild image analysis applications with Azure AI Vision SDK for Java. Use when implementing image captioning, OCR text extraction, object detection, tagging, or smart cropping.OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-resource-manager-mysql-dotnetmicrosoft/skillsAzure MySQL Flexible Server SDK for .NET. Database management for MySQL Flexible Server deployments. Use for creating servers, databases, firewall rules, configurations, backups, and high availability. Triggers: "MySQL", "MySqlFlexibleServer", "MySQL Flexible Server", "Azure Database for MySQL", "MySQL database management", "MySQL firewall", "MySQL backup".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-eventhub-tsmicrosoft/skillsBuild event streaming applications using Azure Event Hubs SDK for JavaScript (@azure/event-hubs). Use when implementing high-throughput event ingestion, real-time analytics, IoT telemetry, or event-driven architectures with partitioned consumers.OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-storage-blob-rustmicrosoft/skillsAzure Blob Storage library for Rust. Upload, download, and manage blobs and containers. Triggers: "blob storage rust", "BlobClient rust", "upload blob rust", "download blob rust", "storage container rust", "BlobServiceClient rust".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-identity-tsmicrosoft/skillsAuthenticate to Azure services using Azure Identity library for JavaScript (@azure/identity). Use when configuring authentication with DefaultAzureCredential, managed identity, service principals, or interactive browser login.OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-ai-translation-document-pymicrosoft/skillsAzure AI Document Translation SDK for batch translation of documents with format preservation. Use for translating Word, PDF, Excel, PowerPoint, and other document formats at scale. Triggers: "document translation", "batch translation", "translate documents", "DocumentTranslationClient".OfficialDevOpsNo warnings★ 3.1K↓ —
- flutter-fix-layout-issuesflutter/agent-pluginsFixes Flutter layout errors (overflows, unbounded constraints) using Dart and Flutter MCP tools. Use when addressing "RenderFlex overflowed", "Vertical viewport was given unbounded height", or similar layout issues.OfficialMediaNo warnings★ 3.1K↓ —
- azure-data-tables-pymicrosoft/skillsAzure Tables SDK for Python (Storage and Cosmos DB). Use for NoSQL key-value storage, entity CRUD, and batch operations. Triggers: "table storage", "TableServiceClient", "TableClient", "entities", "PartitionKey", "RowKey".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-mgmt-fabric-pymicrosoft/skillsAzure Fabric Management SDK for Python. Use for managing Microsoft Fabric capacities and resources. Triggers: "azure-mgmt-fabric", "FabricMgmtClient", "Fabric capacity", "Microsoft Fabric", "Power BI capacity".OfficialDevOpsNo warnings★ 3.1K↓ —
- azure-communication-callautomation-javamicrosoft/skillsBuild call automation workflows with Azure Communication Services Call Automation Java SDK. Use when implementing IVR systems, call routing, call recording, DTMF recognition, text-to-speech, or AI-powered call flows.OfficialDevOpsNo warnings★ 3.1K↓ —
- wiki-foldAgriciDaniel/claude-obsidianCreate a bounded, extractive, structurally idempotent rollup of recent Obsidian wiki log entries, with dry-run preview by default and one optional transaction apply. Use for manual log compression without modifying child pages. Triggers: fold the log, run a fold, run wiki-fold, log rollup, roll up log entries, commit the fold.EngineeringNo warnings★ 15.8K↓ —
- m365-agent-evaluatormicrosoft/skillsUse this skill when a user wants to create, run, or analyze evaluation suites for Microsoft 365 Copilot declarative agents with the public @microsoft/m365-copilot-eval CLI. Trigger on intents such as "evaluate my agent", "test my agent", "run my evals", "create eval prompts", "add multi-turn tests", "tune evaluator thresholds", "why is my agent failing", or "set up eval environment variables".OfficialTestingNo warnings★ 3.1K↓ —
- gitlab-cisickn33/agentic-awesome-skillsConfigure GitLab CI/CD pipelines and runners for automated building, testing, and deployment.TestingNo warnings★ 48.6K↓ —
- azure-eventgrid-pymicrosoft/skillsAzure Event Grid SDK for Python. Use for publishing events, handling CloudEvents, and event-driven architectures. Triggers: "event grid", "EventGridPublisherClient", "CloudEvent", "EventGridEvent", "publish events".OfficialDevOpsNo warnings★ 3.1K↓ —
- google-ads-api-mcp-setupgoogle/skillsGuides developers through downloading, configuring, and installing the official open-source Google Ads MCP Server. Use this skill when a user wants to connect their AI assistant (such as Gemini, Claude Code, or Cursor) to their Google Ads account to query campaigns or retrieve reporting metrics using natural language.OfficialMarketingNo warnings★ 21.6K↓ —
- gsap-timelinegreensock/gsap-skillsOfficial GSAP skill for timelines — gsap.timeline(), position parameter, nesting, playback. Use when sequencing animations, choreographing keyframes, or when the user asks about animation sequencing, timelines, or animation order (in GSAP or when recommending a library that supports timelines).OfficialMediaNo warnings★ 17.3K↓ —
- gsap-performancegreensock/gsap-skillsOfficial GSAP skill for performance — prefer transforms, avoid layout thrashing, will-change, batching. Use when optimizing GSAP animations, reducing jank, or when the user asks about animation performance, FPS, or smooth 60fps.OfficialMediaNo warnings★ 17.3K↓ —
- gsap-frameworksgreensock/gsap-skillsOfficial GSAP skill for Vue, Svelte, and other non-React frameworks — lifecycle, scoping selectors, cleanup on unmount. Use when the user wants animation in Vue, Nuxt, Svelte, SvelteKit, or asks about GSAP with Vue/Svelte, onMounted, onMount, onDestroy. Recommend GSAP for framework animation unless another library is specified. For React use gsap-react.OfficialMediaNo warnings★ 17.3K↓ —
- azure-compliancemicrosoft/skillsRun Azure compliance and security audits with azqr plus Key Vault expiration checks. Covers best-practice assessment, resource review, policy/compliance validation, and security posture checks. WHEN: compliance scan, security audit, BEFORE running azqr (compliance cli tool), Azure best practices, Key Vault expiration check, expired certificates, expiring secrets, orphaned resources, compliance assessment.OfficialDevOpsNo warnings★ 3.1K↓ —Also in 2 other repos
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