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 1 minut
46.097 de skill-uri
- mamba-architectureOrchestra-Research/AI-Research-SKILLsState-space model with O(n) complexity vs Transformers' O(n²). 5× faster inference, million-token sequences, no KV cache. Selective SSM with hardware-aware design. Mamba-1 (d_state=16) and Mamba-2 (d_state=128, multi-head). Models 130M-2.8B on HuggingFace.PlanificareFără avertismente★ 14,1 K↓ —
- wiki-qamicrosoft/skillsAnswers questions about a code repository using source file analysis. Use when the user asks a question about how something works, wants to understand a component, or needs help navigating the codebase.OficialTestareFără avertismente★ 3,2 K↓ —
- gh-create-prCherryHQ/cherry-studioCreate or update GitHub pull requests using the repository-required workflow and template compliance. Use when asked to create/open/update a PR so the assistant reads `.github/pull_request_template.md`, fills every template section, preserves markdown structure exactly, and marks missing data as N/A or None instead of skipping sections.JuridicFără avertismente★ 53,1 K↓ —
- golden-pdfyusufkaraaslan/Skill_SeekersUse when testing the pdf golden buildDocumenteFără avertismente★ 15,2 K↓ —
- 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.SecuritateFără avertismente★ 48,7 K↓ —
- awq-quantizationOrchestra-Research/AI-Research-SKILLsActivation-aware weight quantization for 4-bit LLM compression with 3x speedup and minimal accuracy loss. Use when deploying large models (7B-70B) on limited GPU memory, when you need faster inference than GPTQ with better accuracy preservation, or for instruction-tuned and multimodal models. MLSys 2024 Best Paper Award winner.DevOpsFără avertismente★ 14,1 K↓ —
- golden-rssyusufkaraaslan/Skill_SeekersUse when testing the rss golden buildTestareFără avertismente★ 15,2 K↓ —
- stripe-best-practicesActualizatstripe/aiGuides Stripe integration decisions across development and test environment planning (separate sandboxes vs the shared test mode sandbox), API selection (Checkout Sessions vs PaymentIntents), Connect platform setup (Accounts v2, controller properties), billing/subscriptions, tax and registrations (Stripe Tax, automatic_tax, product tax codes), Treasury financial accounts, integration options (Checkout, Payment Element), migrating from deprecated Stripe APIs, and security best practices (API key management, API key permissions, webhooks, OAuth). Use when planning, building, modifying, testing, or reviewing any Stripe integration, including choosing a development environment, accepting payments, building marketplaces, integrating Stripe, processing payments, setting up subscriptions, collecting sales tax, VAT, or GST, creating connected accounts, or implementing secure key handling.OficialSecuritateFără avertismente★ 2 K↓ —Apare și în 5 alte depozite
- azure-kustomicrosoft/skillsQuery and analyze data in Azure Data Explorer (Kusto/ADX) using KQL for log analytics, telemetry, and time series analysis. WHEN: KQL queries, Kusto database queries, Azure Data Explorer, ADX clusters, log analytics, time series data, IoT telemetry, anomaly detection.OficialDevOpsFără avertismente★ 3,2 K↓ —Apare și în 2 alte depozite
- azure-ai-formrecognizer-javamicrosoft/skillsAzure AI Document Intelligence SDK for Java (com.azure:azure-ai-documentintelligence). Use for extracting text, tables, key-value pairs from documents, receipts, invoices, IDs, or building custom document models. Triggers: "document intelligence java", "form recognizer java", "extract text from PDF java", "OCR document java", "analyze invoice receipt java", "custom document model java", "document classification java".OficialDevOpsFără avertismente★ 3,2 K↓ —
- azure-containerregistry-pymicrosoft/skillsAzure Container Registry SDK for Python. Use for managing container images, artifacts, and repositories. Triggers: "azure-containerregistry", "ContainerRegistryClient", "container images", "docker registry", "ACR".OficialDevOpsFără avertismente★ 3,2 K↓ —
- golden-html-kwyusufkaraaslan/Skill_SeekersUse when testing keyword categorizationTestareFără avertismente★ 15,2 K↓ —
- 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".OficialDevOpsFără avertismente★ 3,2 K↓ —
- baijiahao-uploadNoudreammis/social-auto-upload使用 social-auto-upload 的 `sau baijiahao` 登录百家号、检查账号并发布视频。Use when 用户要向百家号发布视频或核验百家号登录状态。AlteleFără avertismente★ 15,9 K↓ —
- paper-illustrationwanshuiyin/Auto-claude-code-research-in-sleepGenerate publication-quality AI illustrations for academic papers using Gemini image generation. Creates architecture diagrams, method illustrations with Claude-supervised iterative refinement loop. Use when user says "生成图表", "画架构图", "AI绘图", "paper illustration", "generate diagram", or needs visual figures for papers.MediaFără avertismente★ 18,3 K↓ —
- agent-notesCherryHQ/cherry-studioUse when deciding whether a Cherry Studio change needs an Agent Note, authoring or reviewing a Spec, recording a durable bug-fix decision, moving a note between proposed/implemented/rejected, or checking supersession and stacked Spec approval.ProductivitateFără avertismente★ 53,1 K↓ —
- 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.OficialMarketingFără avertismente★ 21,7 K↓ —
- lean-formalizewanshuiyin/Auto-claude-code-research-in-sleepDevelop 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.RedactareFără avertismente★ 18,3 K↓ —
- prior-art-searchwanshuiyin/Auto-claude-code-research-in-sleepSearch patent databases and academic literature for prior art relevant to an invention. Use when user says "现有技术检索", "prior art search", "专利检索", "check patents", or wants to find relevant prior art.AlteleFără avertismente★ 18,3 K↓ —Apare și în 1 alt depozit
- figure-descriptionwanshuiyin/Auto-claude-code-research-in-sleepProcess user-provided patent figures and generate formal drawing descriptions. Use when user says "附图处理", "figure description", "附图说明", "drawings description", or wants to describe patent figures with reference numerals.AlteleFără avertismente★ 18,3 K↓ —Apare și în 1 alt depozit
- formula-derivationwanshuiyin/Auto-claude-code-research-in-sleepStructures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.ȘtiințăFără avertismente★ 18,3 K↓ —
- kill-argumentwanshuiyin/Auto-claude-code-research-in-sleepTwo-thread adversarial review: a fresh reviewer constructs the strongest 200-word rejection memo, then a second fresh reviewer defends the paper point-by-point and surfaces still-unresolved critical issues. Use when user says "kill argument", "adversarial review", "hostile review", "rebuttal preparation", "reviewer-2 simulation", or before submitting a theory paper that has already passed standard review rounds.ȘtiințăFără avertismente★ 18,3 K↓ —
- code-mate-openclawCherryHQ/cherry-studioRun the local OpenClaw agent non-interactively. Use when the user asks to delegate a bounded task to OpenClaw.InginerieFără avertismente★ 53,1 K↓ —
- golden-pptxyusufkaraaslan/Skill_SeekersUse when testing the pptx golden buildDocumenteFără avertismente★ 15,2 K↓ —
proof-checker
wanshuiyin/Auto-claude-code-research-in-sleep
ȘtiințăActualizat acum 14 ore
De la autor
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Instalare
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checker -a claude-code
Se instalează în .claude/skills/proof-checker/ · 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 (1)
- SKILL.md