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,095 skills from 2,198 repositories · updated 32 seconds ago
9,543 skills
- 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↓ —
- california-sc100-formcxcscmu/SkillLearnBenchUnderstand the structure and fields of the California Small Claims Court Form SC-100OtherNo warnings★ 91↓ —
- example-solidBintzGavin/heliosPatterns for using Helios with SolidJS. Use when building compositions in a SolidJS environment, utilizing signals for fine-grained reactivity.OtherNo warnings★ 123↓ —
- simpo-losscxcscmu/SkillLearnBench[COLM'26] SkillLearnBench is the first benchmark for evaluating continual learning methods that automatically generate agent skills.OtherNo warnings★ 91↓ —
- glm-runnercxcscmu/SkillLearnBenchA skill to execute the GLM binary and manage its simulation output.OtherNo warnings★ 91↓ —
- nopus-configureVistyy/nopusConfigure nopus complexity sensitivity, extra-simple rewrites, rewrite evidence, and Pi response hiding for this user.OtherNo warnings★ 300↓ —
- xuanguan-shufang-zhuangxiu-zhinanzx029w/zhuangxiu-skills玄关与书房装修指南专用 Skill。覆盖玄关鞋柜、换鞋区、入户收纳、玄关背景与形式、隔断屏风、书房书桌书柜、学习办公区、儿童学习区、灯光采光、隔音等全流程，倒序整合西安装修课堂知识库精华，帮用户把进门第一眼和居家办公、学习空间一次装对。由西安装修课堂出品OtherNo warnings★ 86↓ —
- mint-runwaytonone-ai/tononeCalculate and extend runway — current cash, burn rate, runway months, and the levers available to extend it. Use when asked to "how long is our runway", "when do we run out of money", or "what cuts extend runway by 6 months".OtherNo warnings★ 76↓ —
- markdownGulajavaMinistudio/awesome-copilot-idDocumentation and content creation standardsOtherNo warnings★ 91↓ —
- ReasoningBank Intelligencespencermarx/open-code-reviewImplement adaptive learning with ReasoningBank for pattern recognition, strategy optimization, and continuous improvement. Use when building self-learning agents, optimizing workflows, or implementing meta-cognitive systems.OtherNo warnings★ 382↓ —
- simpo-losscxcscmu/SkillLearnBenchGuide on understanding and implementing the SimPO (Simple Preference Optimization) loss function for language models.OtherNo warnings★ 91↓ —
- glm-calibrationcxcscmu/SkillLearnBenchCalibrating GLM parameters (Kw, coef_mix_hyp, wind_factor, lw_factor, ch) to minimize RMSE against field observations.OtherNo warnings★ 91↓ —
- pillow-grayscalecxcscmu/SkillLearnBenchConvert images to grayscale in-place using Pillow (PIL), overwriting original RGB files.OtherNo warnings★ 91↓ —
- angular-expertroedyrustam/vibes-plugAngular 19+ enterprise apps, Signals, Standalone, and NgRx Store / Aplikasi enterprise Angular 19+, Signals, dan NgRx SignalStore.OtherNo warnings★ 115↓ —
- alpaleo/alignfirstExecute the AlignFirst AAD protocol.OtherNo warnings★ 88↓ —
- almergepaleo/alignfirstExecute the AlignFirst merge protocol.OtherNo warnings★ 88↓ —
- holdings-comparisoncxcscmu/SkillLearnBenchCompare fund holdings between two quarters (Q2 vs Q3) to identify increased/decreased positions by dollar value or share count.OtherNo warnings★ 91↓ —
- no-commentsadriannoes/awesome-agentic-aiSpawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints.OtherNo warnings★ 89↓ —
- file-classificationcxcscmu/SkillLearnBenchClassify academic papers and documents into subject categories using keyword-based text analysis.OtherNo warnings★ 91↓ —
- search-routerparcadei/Continuous-Claude-v3Choose the right search tool for each query typeOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- threads-profile-searchbrowser-act/skillsDiscovers Threads user accounts by keyword, extracting profile data including username, display name, verification status, biography, and follower count. Use when user asks to find Threads accounts, search Threads profiles, discover Threads users by keyword, look up Threads creators, find influencers on Threads, search for people on Threads, get Threads user details, collect Threads profile information, find accounts related to a topic on Threads, search Threads for accounts by name or keyword, or enumerate Threads users matching a search term.OtherNo warnings★ 6.3K↓ —
- passkeys-webauthn-identity-expertNewroedyrustam/vibes-plugFIDO2 / WebAuthn Passkeys, SimpleWebAuthn, and passwordless auth / Autentikasi tanpa kata sandi Passkeys FIDO2 dan SimpleWebAuthn.OtherNo warnings★ 115↓ —
- agentica-spawnparcadei/Continuous-Claude-v3Spawn Agentica multi-agent patternsOtherNo warnings★ 3.9K↓ —Also in 1 other repo
- ca-small-claimscxcscmu/SkillLearnBenchCalifornia Small Claims Court SC-100 form field mapping and filling guide. Use this skill when filling out California SC-100 Plaintiff's Claim forms, understanding small claims court procedures, or mapping case details to SC-100 form fields.OtherNo warnings★ 91↓ —
propositional-logic
parcadei/Continuous-Claude-v3
OtherUpdated Jan 26, 2026
From the author
Problem-solving strategies for propositional logic in mathematical logic
Install
npx skills add parcadei/Continuous-Claude-v3 --skill propositional-logic -a claude-code
Installs to .claude/skills/propositional-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