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.
46,100 skills from 2,198 repositories · updated 4 hours ago
9,541 skills
- constrained-optimizationparcadei/Continuous-Claude-v3Problem-solving strategies for constrained optimization in optimizationOtherNo warnings★ 3.9K↓ —
- bug-fix-briefgiuseppe-trisciuoglio/developer-kitGenerates a structured Bug Fix Brief (BFB) to document issue corrections. Includes root cause analysis, repro steps, fix options, and fix checklist. Use when user asks to create a BFB, document a bug fix, or generate a bug correction document.OtherNo warnings★ 366↓ —
- lebesgue-measureparcadei/Continuous-Claude-v3Problem-solving strategies for lebesgue measure in measure theoryOtherNo warnings★ 3.9K↓ —
- fuzzy-fund-searchcxcscmu/SkillLearnBenchFuzzy search SEC 13-F COVERPAGE.tsv to find fund names and accession numbers by approximate name matching.OtherNo warnings★ 91↓ —
- natural-transformationsparcadei/Continuous-Claude-v3Problem-solving strategies for natural transformations in category theoryOtherNo warnings★ 3.9K↓ —
- 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★ 840↓ —
- app-namerrshankras/claude-code-apple-skillsTurn an app idea into validated, App-Store-ready name candidates. Use when the user says "name my app", "what should I call it", "app name ideas", "help me name this app", "is this name available", or needs to pick a brandable, ownable name before reserving it in App Store Connect.OtherNo warnings★ 840↓ —
- modular-arithmeticparcadei/Continuous-Claude-v3Problem-solving strategies for modular arithmetic in graph number theoryOtherNo warnings★ 3.9K↓ —
- swiftdatarshankras/claude-code-apple-skillsSwiftData skills — class inheritance patterns for hierarchical models, type-based querying, polymorphic relationships, and inheritance-vs-enum decisions. Use when designing SwiftData model hierarchies.OtherNo warnings★ 840↓ —
- 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↓ —
- numerical-integrationparcadei/Continuous-Claude-v3Problem-solving strategies for numerical integration in numerical methodsOtherNo warnings★ 3.9K↓ —
- product-agentrshankras/claude-code-apple-skillsDiscover and validate product ideas, analyze markets, scope MVPs, and optimize app store presence for iOS/macOS apps. Use when user asks to discover, validate, assess, scope, or analyze product ideas, market opportunities, or when they mention "product agent", "app idea validation", "should I build this", "MVP", "market analysis", or "ASO".OtherNo warnings★ 840↓ —
- template-usageharness/harness-skillsTrack Harness template dependencies, usage, and adoption via MCP v2 tools. Find which pipelines or other templates reference a given template, analyze update impact, identify unused templates, and compare version adoption. Use when asked about template usage, template references, template dependencies, impact analysis before updating a template, finding unused templates, or tracking template adoption across projects. Trigger phrases: template usage, who uses template, template references, template dependencies, template impact, unused templates, template adoption. Do NOT use for creating or updating templates (use create-template instead).OtherNo warnings★ 126↓ —
- module-scaffold26zl/cybersec-toolkitUse when creating a brand new module file in modules/ for a new tool category. Generates the boilerplate with correct array prefix, install_module_<name>() function, and ensures it integrates with install.sh, profiles, and MCP server. Triggers on "new module", "add a module for X", "scaffold module".OtherNo warnings★ 85↓ —
- nihaixiajangviktor-web/nihaixia倪海厦（1954-2012）台湾中医师，经方派代表人物，汉唐中医创始人。核心心智模型：六经辨证、阳气论、经典至上、经方为主。决策启发式：先辨六经再选方、阳气不足先扶阳、经典原方最可靠。触发词：倪海厦、海厦视角、中医倪海厦、经方思维、倪海厦会怎么看、倪师。知识库覆盖：伤寒论条文补齐（太阳下篇+阳明篇，modules/13）+伤寒论129条全（modules/01）+金匮23篇+黄帝内经72篇+针灸教程+神农本草经374种+天纪+1257例全量结构化医案+243例分类叙事医案+梁冬对话+口述表达DNA+六经辨证诊断公式（8个公式+快速诊断流程图+脉舌速查+合病并病速查+真寒假热鉴别+七步走思维模式）。基于一手素材：梁冬对话录音稿、人纪班闭门课记录、医案集、神农本草经视频讲义。OtherNo warnings★ 3.9K↓ —
- geotoolboxrshankras/claude-code-apple-skillsGeoToolbox PlaceDescriptor patterns with MapKit integration for location representation, geocoding, and multi-service place identifiers. Use when working with place descriptors, geocoding, or cross-service location data.OtherNo warnings★ 840↓ —
- propositional-logicparcadei/Continuous-Claude-v3Problem-solving strategies for propositional logic in mathematical logicOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- gradient-methodsparcadei/Continuous-Claude-v3Problem-solving strategies for gradient methods in optimizationOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- authentication-identity-expertroedyrustam/vibes-plugAuthentication, authorization (RBAC/ABAC), OAuth2, Clerk, and Auth.js / Autentikasi, otorisasi (RBAC/ABAC), OAuth2, Clerk, dan Auth.js.OtherNo warnings★ 115↓ —
- slogan-markeThomasMoreAI/legal-skills-openFür Slogan-Marken für Luxus-Mode: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.OtherNo warnings★ 96↓ —
- predicate-logicparcadei/Continuous-Claude-v3Problem-solving strategies for predicate logic in mathematical logicOtherNo warnings★ 3.9K↓ —
- meshy-3d-printingmeshy-dev/meshy-3d-agentGenerate or prepare models for physical 3D printing, including white or multicolor prints, Creative Lab products, sizing, and slicer handoff.OtherNo warnings★ 106↓ —
- banach-spacesparcadei/Continuous-Claude-v3Problem-solving strategies for banach spaces in functional analysisOtherNo warnings★ 3.9K↓ —
- integration-theoryparcadei/Continuous-Claude-v3Problem-solving strategies for integration theory in measure theoryOtherNo warnings★ 3.9K↓ —
predicate-logic
parcadei/Continuous-Claude-v3
OtherUpdated Jan 26, 2026
From the author
Problem-solving strategies for predicate logic in mathematical logic
Install
npx skills add parcadei/Continuous-Claude-v3 --skill predicate-logic -a claude-code
Installs to .claude/skills/predicate-logic/ · 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 83
Security100
Provenance83
Maintenance50
Licence100
Adoption57
Files (1)
- SKILL.md