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.
46.099 de skill-uri din 2.198 de depozite · actualizat acum 3 minute
46.097 de skill-uri
- azure-messaging-webpubsubservice-pymicrosoft/skillsAzure Web PubSub Service SDK for Python. Use for real-time messaging, WebSocket connections, and pub/sub patterns. Triggers: "azure-messaging-webpubsubservice", "WebPubSubServiceClient", "real-time", "WebSocket", "pub/sub".OficialDevOpsFără avertismente★ 3,2 K↓ —
- azure-enterprise-infra-plannermicrosoft/skillsArchitect and provision enterprise Azure infrastructure from workload descriptions. For cloud architects and platform engineers planning networking, identity, security, compliance, and multi-resource topologies with WAF alignment. Generates Bicep or Terraform directly (no azd). WHEN: 'plan Azure infrastructure', 'architect Azure landing zone', 'design hub-spoke network', 'plan multi-region DR topology', 'set up VNets firewalls and private endpoints', 'subscription-scope Bicep deployment', 'Azure Backup for VM workloads'. PREFER azure-prepare FOR app-centric workflows.OficialDevOpsFără avertismente★ 3,2 K↓ —Apare și în 2 alte depozite
- azure-appconfiguration-pymicrosoft/skillsAzure App Configuration SDK for Python. Use for centralized configuration management, feature flags, and dynamic settings. Triggers: "azure-appconfiguration", "AzureAppConfigurationClient", "feature flags", "configuration", "key-value settings".OficialDevOpsFără avertismente★ 3,2 K↓ —
- azure-kusto-irql-graphmicrosoft/skillsApply IRQL graph functions to KQL or IRQL query results for Kusto Explorer visualization. Generates Lift_To_Graph mappings and composes Graph_Render_View, Graph_Fold_By_Property, Extract_Node_*, Enrich_Node_*, and Enrich_Graph_* calls. Accepts a supplied query or limited basic natural-language source request; it is not a general natural-language-to-KQL/IRQL skill. WHEN: Lift_To_Graph, Graph_Render_View, Graph_Fold_By_Property, IRQL graph enrichment, graph mapping for existing query results, icon-decorated graph, fold graph nodes. Use azure-kusto-graph for native make-graph analysis, graph-match, shortest paths, components, or persistent graphs.OficialDevOpsFără avertismente★ 3,2 K↓ —Apare și în 1 alt depozit
- krillinai-clikrillinai/OpenCreatorUse when an agent needs to build or operate the embedded KrillinAI CLI, choose a supported command, or interpret its JSON, manifest, subtitle, dubbing, render, cover, speech, and voice outputs.InginerieFără avertismente★ 14 K↓ —
- crewai-multi-agentOrchestra-Research/AI-Research-SKILLsMulti-agent orchestration framework for autonomous AI collaboration. Use when building teams of specialized agents working together on complex tasks, when you need role-based agent collaboration with memory, or for production workflows requiring sequential/hierarchical execution. Built without LangChain dependencies for lean, fast execution.PlanificareFără avertismente★ 14,1 K↓ —
- azure-eventhub-rustmicrosoft/skillsAzure Event Hubs library for Rust. Send and receive events for streaming data ingestion and batch processing. Triggers: "event hubs rust", "ProducerClient rust", "ConsumerClient rust", "send event rust", "streaming rust", "eventhub rust".OficialDevOpsFără avertismente★ 3,2 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,2 K↓ —
- peft-fine-tuningOrchestra-Research/AI-Research-SKILLsParameter-efficient fine-tuning for LLMs using LoRA, QLoRA, and 25+ methods. Use when fine-tuning large models (7B-70B) with limited GPU memory, when you need to train <1% of parameters with minimal accuracy loss, or for multi-adapter serving. HuggingFace's official library integrated with transformers ecosystem.ProductivitateFără avertismente★ 14,1 K↓ —
- 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".OficialDevOpsFără avertismente★ 3,2 K↓ —
- azure-postgres-tsmicrosoft/skillsConnect to Azure Database for PostgreSQL Flexible Server from Node.js/TypeScript using the pg (node-postgres) package. Use for PostgreSQL queries, connection pooling, transactions, and Microsoft Entra ID (passwordless) authentication. Triggers: "PostgreSQL", "postgres", "pg client", "node-postgres", "Azure PostgreSQL connection", "PostgreSQL TypeScript", "pg Pool", "passwordless postgres".OficialDevOpsFără avertismente★ 3,2 K↓ —
- github-issue-creatormicrosoft/skillsConvert raw notes, error logs, voice dictation, or screenshots into crisp GitHub-flavored markdown issue reports. Use when the user pastes bug info, error messages, or informal descriptions and wants a structured GitHub issue. Supports images/GIFs for visual evidence.OficialProductivitateFără avertismente★ 3,2 K↓ —
- firecrawl-searchwanshuiyin/Auto-claude-code-research-in-sleepWeb search and page scraping via Firecrawl, returning full-page markdown. Use when user says "firecrawl search", "firecrawl scrape" or "/firecrawl-search".BrowserFără avertismente★ 18,3 K↓ —
- tensorrt-llmOrchestra-Research/AI-Research-SKILLsOptimizes LLM inference with NVIDIA TensorRT for maximum throughput and lowest latency. Use for production deployment on NVIDIA GPUs (A100/H100), when you need 10-100x faster inference than PyTorch, or for serving models with quantization (FP8/INT4), in-flight batching, and multi-GPU scaling.DevOpsFără avertismente★ 14,1 K↓ —
- wiki-page-writermicrosoft/skillsGenerates rich technical documentation pages with dark-mode Mermaid diagrams, source code citations, and first-principles depth. Use when writing documentation, generating wiki pages, creating technical deep-dives, or documenting specific components or systems.OficialRedactareFără avertismente★ 3,2 K↓ —
- dspyOrchestra-Research/AI-Research-SKILLsBuild complex AI systems with declarative programming, optimize prompts automatically, create modular RAG systems and agents with DSPy - Stanford NLP's framework for systematic LM programmingAlteleFără avertismente★ 14,1 K↓ —
- azure-ai-ml-pymicrosoft/skillsAzure Machine Learning SDK v2 for Python. Use for ML workspaces, jobs, models, datasets, compute, and pipelines. Triggers: "azure-ai-ml", "MLClient", "workspace", "model registry", "training jobs", "datasets".OficialDevOpsFără avertismente★ 3,2 K↓ —
- paper-planwanshuiyin/Auto-claude-code-research-in-sleepGenerate a structured paper outline from review conclusions and experiment results. Use when user says "写大纲", "paper outline", "plan the paper", "论文规划", or wants to create a paper plan before writing.ȘtiințăFără avertismente★ 18,3 K↓ —
- azure-ai-voicelive-pymicrosoft/skillsBuild real-time voice AI applications using Azure AI Voice Live SDK (azure-ai-voicelive). Use this skill when creating Python applications that need real-time bidirectional audio communication with Azure AI, including voice assistants, voice-enabled chatbots, real-time speech-to-speech translation, voice-driven avatars, or any WebSocket-based audio streaming with AI models. Supports Server VAD (Voice Activity Detection), turn-based conversation, function calling, MCP tools, avatar integration, and transcription.OficialDevOpsFără avertismente★ 3,2 K↓ —
- 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".InginerieFără avertismente★ 18,3 K↓ —
- skillkrillinai/OpenCreatorFormerly KrillinAI, VideoTranslation and Dubbing Tool. Open-source AI workspace for creators, powered by Codex. Video downloading, video translation, create videos, images, voice, avatars, and edits with Agents in one place. Suitable for your Social Media like YouTube, TikTok, Instagram, etc.MediaFără avertismente★ 14 K↓ —
- altoranksickn33/agentic-awesome-skillsRun AltoRank through its hosted MCP server: readiness audits, Search Console, keyword research, and SEO drafts into a review queue.ȘtiințăFără avertismente★ 48,7 K↓ —
- keenable-searchNouwanshuiyin/Auto-claude-code-research-in-sleepKeyless web search and page fetch via Keenable. Use when user says "keenable search", "web search without an API key", "fetch this page as markdown", or needs broad web results beyond academic databases (arXiv, Semantic Scholar) with no search API key set up.ȘtiințăFără avertismente★ 18,3 K↓ —
- faissOrchestra-Research/AI-Research-SKILLsFacebook's library for efficient similarity search and clustering of dense vectors. Supports billions of vectors, GPU acceleration, and various index types (Flat, IVF, HNSW). Use for fast k-NN search, large-scale vector retrieval, or when you need pure similarity search without metadata. Best for high-performance applications.AlteleFără avertismente★ 14,1 K↓ —
lean-formalize
wanshuiyin/Auto-claude-code-research-in-sleep
RedactareActualizat acum 14 ore
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 (4)
- SKILL.md
- references/adversarial-review.md
- references/lean-working-loop.md
- references/verification-and-handoff.md