Skill-uri pentru agenți pe care le poți verifica înainte să le instalezi
Skill-uri SKILL.md publice din depozite GitHub cu peste 50 de stele și de la producători, scanate și evaluate. Instalează oricare dintre ele cu o singură comandă în Claude Code, Cursor, Codex, GitHub Copilot sau Gemini CLI.
41.606 skill-uri din 1.950 de depozite · actualizat acum 7 minute
41.606 skill-uri
- azure-resource-manager-durabletask-dotnetmicrosoft/skillsAzure Resource Manager SDK for Durable Task Scheduler in .NET. Use for MANAGEMENT PLANE operations: creating/managing Durable Task Schedulers, Task Hubs, and retention policies via Azure Resource Manager. Triggers: "Durable Task Scheduler", "create scheduler", "task hub", "DurableTaskSchedulerResource", "provision Durable Task", "orchestration scheduler".OficialDevOpsFără avertismente★ 3,1 K↓ —
- connect-recommendstripe/aiUse this skill when the user asks about Stripe Connect configuration, charge patterns, Dashboard access, or how to get started with Connect, is building a marketplace, platform, multi-vendor store, gig platform, or subscription platform, needs to pay out sellers, vendors, or providers, mentions split payments, revenue sharing, multi-party payments, or similar payment distribution concepts, provides a company URL or business description for a recommendation, builds SaaS that routes money between parties (for example, POS, booking, invoicing — not operational SaaS without payment routing), asks about onboarding or KYC for merchants, sellers, and vendors, mentions connected account Dashboard or responsibility configurations, or asks about payment flows, white-label payments, or embedded payments.OficialAlteleFără avertismente★ 2 K↓ —Apare și în 4 alte depozite
- azure-messaging-webpubsub-javamicrosoft/skillsBuild real-time web applications with Azure Web PubSub SDK for Java. Use when implementing WebSocket-based messaging, live updates, chat applications, or server-to-client push notifications.OficialDevOpsFără avertismente★ 3,1 K↓ —
- azure-compute-batch-javamicrosoft/skillsAzure Batch SDK for Java. Run large-scale parallel and HPC batch jobs with pools, jobs, tasks, and compute nodes. Triggers: "BatchClient java", "azure batch java", "batch pool java", "batch job java", "HPC java", "parallel computing java".OficialDevOpsFără avertismente★ 3,1 K↓ —
- azure-mgmt-botservice-pymicrosoft/skillsAzure Bot Service Management SDK for Python. Use for creating, managing, and configuring Azure Bot Service resources. Triggers: "azure-mgmt-botservice", "AzureBotService", "bot management", "conversational AI", "bot channels".OficialDevOpsFără avertismente★ 3,1 K↓ —
- azure-monitor-opentelemetry-pymicrosoft/skillsAzure Monitor OpenTelemetry Distro for Python. Use for one-line Application Insights setup with auto-instrumentation. Triggers: "azure-monitor-opentelemetry", "configure_azure_monitor", "Application Insights", "OpenTelemetry distro", "auto-instrumentation".OficialDevOpsFără avertismente★ 3,1 K↓ —
- code-documentationflutter/agent-pluginsGuide for writing effective code documentation, including docstrings, JSDoc, dartdoc, and implementation comments. Use this skill when writing new code, adding features, or improving existing documentation in Dart, Python, or TypeScript to ensure clarity and maintainability.OficialInginerieFără avertismente★ 3,1 K↓ —
- azure-eventhub-javamicrosoft/skillsBuild real-time streaming applications with Azure Event Hubs SDK for Java. Use when implementing event streaming, high-throughput data ingestion, or building event-driven architectures.OficialDevOpsFără avertismente★ 3,1 K↓ —
- entra-app-registrationmicrosoft/skillsGuides Microsoft Entra ID app registration, OAuth 2.0 authentication, and MSAL integration. USE FOR: create app registration, register Azure AD app, configure OAuth, set up authentication, add API permissions, generate service principal, MSAL example, console app auth, Entra ID setup, Azure AD authentication. DO NOT USE FOR: Key Vault secrets (use azure-keyvault-expiration-audit), general Azure resource security guidance.OficialSecuritateFără avertismente★ 3,1 K↓ —Apare și în 2 alte depozite
- wiki-llms-txtmicrosoft/skillsGenerates llms.txt and llms-full.txt files for LLM-friendly project documentation following the llms.txt specification. Use when the user wants to create LLM-readable summaries, llms.txt files, or make their wiki accessible to language models.OficialPlanificareFără avertismente★ 3,1 K↓ —
- wiki-architectmicrosoft/skillsAnalyzes code repositories and generates hierarchical documentation structures with onboarding guides. Use when the user wants to create a wiki, generate documentation, map a codebase structure, or understand a project's architecture at a high level.OficialPlanificareFără avertismente★ 3,1 K↓ —
- workers-best-practicescloudflare/skillsCloudflare Workers best practices for production applications. Use when writing, reviewing, or configuring Workers.OficialDevOpsFără avertismente★ 3,2 K↓ —
- grill-with-docsflutter/agent-pluginsGrilling session that challenges your plan against the existing domain model, sharpens terminology, and updates documentation (CONTEXT.md, ADRs) inline as decisions crystallise. Use when user wants to stress-test a plan against their project's language and documented decisions.OficialTestareFără avertismente★ 3,1 K↓ —
- azure-keyvault-secrets-tsmicrosoft/skillsManage secrets using Azure Key Vault Secrets SDK for JavaScript (@azure/keyvault-secrets). Use when storing and retrieving application secrets or configuration values.OficialDevOpsFără avertismente★ 3,1 K↓ —
- dart-resolve-package-conflictsflutter/agent-pluginsWorkflow for fixing package version conflicts. Use this when `pub get` fails due to incompatible package versions.OficialProductivitateFără avertismente★ 3,1 K↓ —
- azure-mgmt-apicenter-pymicrosoft/skillsAzure API Center Management SDK for Python. Use for managing API inventory, metadata, and governance across your organization. Triggers: "azure-mgmt-apicenter", "ApiCenterMgmtClient", "API Center", "API inventory", "API governance".OficialDevOpsFără avertismente★ 3,1 K↓ —
- 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".OficialDevOpsFără avertismente★ 3,1 K↓ —
- stripe-docsstripe/aiUse when the user or agent needs to read, search, or look up Stripe documentation or API reference. Prefer this over curl or WebFetch for any docs.stripe.com content. Use to fetch gated documentation.OficialInginerieFără avertismente★ 2 K↓ —Apare și în 4 alte depozite
- cost-analysismicrosoft/skillsAnalyze actual Azure spend, bill changes, and AKS or AI costs. WHEN: "Azure cost breakdown", "most expensive resources", "why did my bill increase", "cost spike", "unexpected charge", "Cosmos DB charges", "Foundry model costs", "AKS cluster cost", "namespace cost", "enable AKS cost analysis", "idle AKS capacity". DO NOT USE FOR: forecasts, pricing estimates, rightsizing, commitments, or budgets.OficialDevOpsFără avertismente★ 3,1 K↓ —Apare și în 1 alt depozit
- agent-framework-azure-ai-pymicrosoft/skillsBuild Azure AI Foundry agents using the Microsoft Agent Framework Python SDK (agent-framework-azure-ai). Use when creating persistent agents with AzureAIAgentsProvider, using hosted tools (code interpreter, file search, web search), integrating MCP servers, managing conversation threads, or implementing streaming responses. Covers function tools, structured outputs, and multi-tool agents.OficialDevOpsFără avertismente★ 3,1 K↓ —
- wiki-changelogmicrosoft/skillsAnalyzes git commit history and generates structured changelogs categorized by change type. Use when the user asks about recent changes, wants a changelog, or needs to understand what changed in the repository.OficialInginerieFără avertismente★ 3,1 K↓ —
- azure-web-pubsub-tsmicrosoft/skillsBuild real-time messaging applications using Azure Web PubSub SDKs for JavaScript (@azure/web-pubsub, @azure/web-pubsub-client). Use when implementing WebSocket-based real-time features, pub/sub messaging, group chat, or live notifications.OficialDevOpsFără avertismente★ 3,1 K↓ —
- azure-security-keyvault-keys-javamicrosoft/skillsAzure Key Vault Keys Java SDK for cryptographic key management. Use when creating, managing, or using RSA/EC keys, performing encrypt/decrypt/sign/verify operations, or working with HSM-backed keys.OficialSecuritateFără avertismente★ 3,1 K↓ —
- microsoft-docsmicrosoft/skillsUnderstand Microsoft technologies by querying official documentation. Use whenever the user asks how something works, wants tutorials, needs configuration options, limits, quotas, or best practices for any Microsoft technology (Azure, .NET, M365, Windows, Power Platform, etc.)—even if they don't mention "docs." If the question is about understanding a concept rather than writing code, this is the right skill.OficialDevOpsFără avertismente★ 3,1 K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
RedactareActualizat acum 3 zile
De la autor
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.
Instalare
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill lean-formalize -a claude-code
Se instalează în .claude/skills/lean-formalize/ · Fiecare comandă descarcă skill-ul direct de pe GitHub cu utilitarul open source skills.
Descarcă .zip
Identic octet cu octet cu commit-ul scanat, cu licența depozitului și un fișier SOURCE.txt.
La ce are acces
Doar instrucțiuniNu am văzut acces la rețeaLicență: MIT
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 93
Securitate100
Proveniență91
Întreținere100
Licență100
Adopție66
Fișiere (5)
- SKILL.md
- agents/openai.yaml
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md