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,935 skills from 2,309 repositories · updated 4 minutes ago
10,097 skills
- d3-color-legendcxcscmu/SkillLearnBenchAdd a categorical color legend to a D3 chart using colored rectangles or circles with text labels, supporting both SVG-inline and HTML overlay styles.OtherNo warnings★ 91↓ —
- force-updatershankras/claude-code-apple-skillsGenerates a minimum version enforcement system with hard-block and soft-prompt update flows, App Store redirect, and remote config or App Store lookup for version checks. Use when user wants force update, mandatory update, or minimum version check.OtherNo warnings★ 842↓ —
- pareto-optimizationcxcscmu/SkillLearnBenchMulti-objective optimization with Pareto frontiers for finding trade-off solutions between conflicting objectives.OtherNo warnings★ 91↓ —
- appkit-swiftui-bridgershankras/claude-code-apple-skillsExpert guidance for hybrid AppKit-SwiftUI development. Covers NSViewRepresentable, hosting controllers, and state management between frameworks. Use when bridging AppKit and SwiftUI.OtherNo warnings★ 842↓ —
- feedback-formrshankras/claude-code-apple-skillsGenerates an in-app feedback collection form with category selection, text input, optional screenshot attachment, device diagnostics, and smart routing — directing happy users to App Store reviews and unhappy users to support. Use when user wants feedback, bug reports, feature requests, or contact support forms.OtherNo warnings★ 842↓ —
- langchain4j-rag-implementation-patternsgiuseppe-trisciuoglio/developer-kitProvides Retrieval-Augmented Generation (RAG) implementation patterns with LangChain4j for Java. Generates document ingestion pipelines, embedding stores, vector search, and semantic search capabilities. Use when building chat-with-documents systems, document Q&A over PDFs or text files, AI assistants with knowledge bases, semantic search over document repositories, or knowledge-enhanced AI applications with source attribution.OtherNo warnings★ 366↓ —
- thinking-dhhaAAaqwq/AGI-Super-TeamDHH's thinking framework — convention over configuration, ship fast, perfect is the enemyOtherNo warnings★ 112↓ —
- analytic-functionsparcadei/Continuous-Claude-v3Problem-solving strategies for analytic functions in complex analysisOtherNo warnings★ 3.9K↓ —
- apple-intelligencershankras/claude-code-apple-skillsApple Intelligence skills for on-device AI features including Foundation Models, Visual Intelligence, App Intents, and intelligent assistants. Use when implementing AI-powered features.OtherNo warnings★ 842↓ —
- json-parsercxcscmu/SkillLearnBenchParsing JSON input files for structured data extraction.OtherNo warnings★ 91↓ —
- proof-failure-explainerArabelaTso/Skills-4-SEAnalyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumptions, incorrect goals, unification failures, or inapplicable tactics. Use when the user encounters proof failures, error messages in formal verification, stuck proof states, or asks why their Isabelle/Coq proof doesn't work.OtherNo warnings★ 260↓ —
- library-docsTaewoooPark/MotifcodeFind version-matched library documentation before implementing unfamiliar APIs or fixing dependency compatibility.OtherNo warnings★ 79↓ —
- disk-cleanupmoonlight-lupin/agent-skillsUse when df says disk is above 80% full or the user wants to reclaim storage space on a VM.OtherNo warnings★ 113↓ —
- anlagen-bauenKlotzkette/claude-fuer-deutsches-rechtFür Fluggastrechte — Anlagen bauen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 1.8K↓ —
- gradient-methodsparcadei/Continuous-Claude-v3Problem-solving strategies for gradient methods in optimizationOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- limits-colimitsparcadei/Continuous-Claude-v3Problem-solving strategies for limits colimits in category theoryOtherNo warnings★ 3.9K↓ —
- california-sc100-formcxcscmu/SkillLearnBenchUnderstand the structure and fields of the California Small Claims Court Form SC-100OtherNo warnings★ 91↓ —
- d3-fundamentalscxcscmu/SkillLearnBenchEssential D3.js v6 concepts including selections, scales, SVG basics, and data binding for building interactive visualizationsOtherNo warnings★ 91↓ —
- montessori-perspectivenuwa-skills/montessori-skill以蒙特梭利的视角回应——观察优先、尊重儿童、环境即教师 当用户明确要求使用这一人物的视角、提到“montessori-perspective”，或希望应用其核心方法分析问题时使用；不要因一般性问题自动触发。OtherNo warnings★ 78↓ —
- alterlab-pennylaneAlterLab-IEU/AlterLab-Academic-SkillsTrains and differentiates quantum circuits with PennyLane, a hardware-agnostic quantum machine-learning framework with automatic differentiation and PyTorch/JAX integration. Use when training quantum circuits via gradients (parameter-shift, backprop, adjoint), building hybrid quantum-classical models or quantum neural networks, or running differentiable variational algorithms (VQE, QAOA). For IBM Quantum hardware and Qiskit Runtime prefer alterlab-qiskit; for Google Quantum AI or NISQ circuits prefer alterlab-cirq; for open-system Lindblad/master-equation dynamics prefer alterlab-qutip. Part of the AlterLab Academic Skills suite.OtherNo warnings★ 81↓ —
- netcdf-processingcxcscmu/SkillLearnBenchReading, processing, and analyzing NetCDF output from lake simulation modelsOtherNo warnings★ 91↓ —
- intakeThomasMoreAI/legal-skills-openRecogida estructurada de datos del cliente para la clínica jurídica. Identifica datos personales, asunto, jurisdicción, urgencia, conflictos de interés y cuestiones transversales. Deriva a turno de oficio si el asunto excede la competencia de la clínica. Usar cuando el usuario dice "nuevo cliente", "intake", "recogida de datos", "alta de cliente", o llega un asunto nuevo a la clínica.OtherNo warnings★ 97↓ —
- reference-searcherArabelaTso/Skills-4-SESystematic external reference searching across documentation, open-source repositories, and web resources. Use when working with unfamiliar libraries, APIs, or when needing production-quality implementation examples.OtherNo warnings★ 260↓ —
- lebesgue-measureparcadei/Continuous-Claude-v3Problem-solving strategies for lebesgue measure in measure theoryOtherNo warnings★ 3.9K↓ —
control-flow-abstraction-generator
ArabelaTso/Skills-4-SE
OtherUpdated Aug 21, 2026
From the author
Generate abstract Control Flow Graph (CFG) representations of programs showing loops, branches, and function calls for static analysis or verification. Use when users need to: (1) Visualize program control flow structure, (2) Generate CFGs for static analysis tools, (3) Create control flow abstractions for formal verification, (4) Analyze program paths and reachability, (5) Document program structure. Supports both function-level (intraprocedural) and program-level (interprocedural) analysis with multiple output formats (textual, DOT/Graphviz, JSON).
Install
npx skills add ArabelaTso/Skills-4-SE --skill control-flow-abstraction-generator -a claude-code
Installs to .claude/skills/control-flow-abstraction-generator/ · 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: APACHE-2.0
Safety checks on SKILL.md
No warnings.
Why 83
Security100
Provenance69
Maintenance85
Licence100
Adoption40
Files (2)
- SKILL.md
- references/cfg_patterns.md