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,307 skills from 2,272 repositories · updated 5 hours ago
47,305 skills
- ego-lite-simplifycitrolabs/ego-liteFind and implement evidence-backed simplifications in the ego-lite repository. Use when reviewing the codebase for dead code, duplicated state or APIs, speculative abstractions, unnecessary compatibility layers, hand-written infrastructure, excessive tests or documentation, or when the user asks to reduce code size or maintenance complexity without hiding behavior changes.TestingNo warnings★ 20.3K↓ —
- dart-migrate-to-checks-packageflutter/agent-pluginsReplace the usage of `expect` and similar functions from `package:matcher` to `package:checks` equivalents.OfficialOtherNo warnings★ 3.1K↓ —
- winui-appopenai/skillsBootstrap, develop, and design modern WinUI 3 desktop applications with C# and the Windows App SDK using official Microsoft guidance, WinUI Gallery patterns, Windows App SDK samples, and CommunityToolkit components. Use when creating a brand new app, preparing a machine for WinUI, reviewing, refactoring, planning, troubleshooting, environment-checking, or setting up WinUI 3 XAML, controls, navigation, windowing, theming, accessibility, responsiveness, performance, deployment, or related Windows app design and development work.OfficialDevOpsNo warnings★ 28.4K↓ —Also in 1 other repo
- secops-casesgoogle/skillsManage Google Security Operations (SecOps) SOAR cases throughout their lifecycle. Use when listing, creating, inspecting, updating, or closing SOAR cases; adding investigative comments and notes; updating case priority or description; or linking and grouping security alerts within cases. Supports both remote Google SecOps MCP tools and local fallback tools. Don't use for SIEM UDM searches or detection rule authoring.OfficialSecurityNo warnings★ 21.6K↓ —
- 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.SecurityNo warnings★ 48.7K↓ —
- aspnet-coreopenai/skillsBuild, review, refactor, or architect ASP.NET Core web applications using current official guidance for .NET web development. Use when working on Blazor Web Apps, Razor Pages, MVC, Minimal APIs, controller-based Web APIs, SignalR, gRPC, middleware, dependency injection, configuration, authentication, authorization, testing, performance, deployment, or ASP.NET Core upgrades.OfficialTestingNo warnings★ 28.4K↓ —Also in 1 other repo
- define-goalopenai/skillsHelp the user define a concrete, measurable goal before starting work, especially when they ask to use the goal tool, create a goal, set an objective, clarify success criteria, or turn a fuzzy intention into a quantitative outcome. Use this skill for goal creation and goal refinement only; it does not manage durable snapshots, decision logs, or long-running execution artifacts.OfficialOtherNo warnings★ 28.4K↓ —Also in 1 other repo
- 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.ScienceNo warnings★ 18.2K↓ —
- alphaxivwanshuiyin/Auto-claude-code-research-in-sleepQuick single-paper lookup via AlphaXiv LLM-optimized summaries with tiered source fallback. Use when user says "explain this paper", "summarize paper", pastes an arXiv/AlphaXiv URL, or provides a bare arXiv ID for quick understanding - not for broad literature search.ScienceNo warnings★ 18.2K↓ —
- netlify-deployopenai/skillsDeploy web projects to Netlify using the Netlify CLI (`npx netlify`). Use when the user asks to deploy, host, publish, or link a site/repo on Netlify, including preview and production deploys.OfficialDevOpsNo warnings★ 28.4K↓ —Also in 1 other repo
- cloudflare-email-servicecloudflare/skillsImplement or troubleshoot Cloudflare Email Sending and Email Routing integrations and their delivery configuration.OfficialDevOpsNo warnings★ 3.2K↓ —
- workers-best-practicesUpdatedcloudflare/skillsCloudflare Workers best practices for production applications. Use when writing, reviewing, or configuring Workers.OfficialDevOpsNo warnings★ 3.2K↓ —
- 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↓ —
- notion-meeting-intelligenceopenai/skillsPrepare meeting materials with Notion context and Codex research; use when gathering context, drafting agendas/pre-reads, and tailoring materials to attendees.OfficialProductivityNo warnings★ 28.4K↓ —Also in 1 other repo
- paper-figurewanshuiyin/Auto-claude-code-research-in-sleepGenerate publication-quality figures and tables from experiment results. Use when user says "画图", "作图", "generate figures", "paper figures", or needs plots for a paper.ScienceNo warnings★ 18.2K↓ —
- notion-spec-to-implementationopenai/skillsTurn Notion specs into implementation plans, tasks, and progress tracking; use when implementing PRDs/feature specs and creating Notion plans + tasks from them.OfficialPlanningNo warnings★ 28.4K↓ —Also in 1 other repo
- notion-research-documentationopenai/skillsResearch across Notion and synthesize into structured documentation; use when gathering info from multiple Notion sources to produce briefs, comparisons, or reports with citations.OfficialScienceNo warnings★ 28.4K↓ —Also in 1 other repo
- 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.OfficialPlanningNo warnings★ 3.2K↓ —
- 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.ScienceNo warnings★ 18.2K↓ —
- proof-checkerwanshuiyin/Auto-claude-code-research-in-sleepRigorous 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.ScienceNo warnings★ 18.2K↓ —
- 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".BrowserNo warnings★ 18.2K↓ —
- keenable-searchNewwanshuiyin/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.ScienceNo warnings★ 18.2K↓ —
- dse-loopwanshuiyin/Auto-claude-code-research-in-sleepAutonomous design space exploration loop for computer architecture and EDA. Runs a program, analyzes results, tunes parameters, and iterates until objective is met or timeout. Use when user says "DSE", "design space exploration", "sweep parameters", "optimize", "find best config", or wants iterative parameter tuning.DesignNo warnings★ 18.2K↓ —
- 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.OtherNo warnings★ 14K↓ —
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