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.100 de skill-uri din 2.198 de depozite · actualizat acum 6 ore
9.541 de skill-uri
- search-hierarchyparcadei/Continuous-Claude-v3Search Tool HierarchyAlteleFără avertismente★ 3,9 K↓ —
- atomise0xDarkMatter/claude-modsAtom of Thoughts (AoT) reasoning - decompose complex problems into atomic units with confidence tracking and backtracking. For genuinely complex reasoning, not everyday questions. Triggers on: atomise, complex reasoning, decompose problem, structured thinking, verify hypothesis.AlteleFără avertismente★ 78↓ —
- find-replace0xDarkMatter/claude-modsModern find-and-replace using sd (simpler than sed) and batch replacement patterns. Triggers on: sd, find replace, batch replace, sed replacement, string replacement, rename.AlteleFără avertismente★ 78↓ —
- operator-brainmoonlight-lupin/agent-skillsUse when communicating, deciding, or reporting as a senior operator — 8 behavioral modules from Anthropic's Fable prompting guide. Not capability — pure behavior. Load for user-facing text quality.AlteleFără avertismente★ 113↓ —
- async-repl-protocolparcadei/Continuous-Claude-v3Async REPL ProtocolAlteleFără avertismente★ 3,9 K↓ —
- 1c-erf-buildDesko77/claude-code-skills-1cСобрать внешний отчет 1С (ERF) из XML-исходников. Используй когда пользователь просит собрать, скомпилировать отчет или получить ERF файл из исходниковAlteleFără avertismente★ 87↓ —
- tia-import-exportCzarnak/totally-integrated-claudeC# Openness implementation of import/export and round-trip engineering.AlteleFără avertismente★ 76↓ —
- enforceescoffier-labs/brigadeUse when the user asks to turn on Brigade's full work loop (verification capture, raw-check blocking, and the handoff-before-stop gate) in the current repository.AlteleFără avertismente★ 81↓ —
- ringsparcadei/Continuous-Claude-v3Problem-solving strategies for rings in abstract algebraAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- math-progress-monitorparcadei/Continuous-Claude-v3Metacognitive check-ins during problem solving - detects when to pivot or persistAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- tia-csharp-commonCzarnak/totally-integrated-claudeInternal reference skill — do NOT load directly from user queries.AlteleFără avertismente★ 76↓ —
- transcreveremidio-trancoso/advocacia-abertaTranscreve áudio ou vídeo de qualquer origem (reunião com cliente, audiência, depoimento, sustentação oral, áudio de WhatsApp, gravação de consulta) usando whisper.cpp local, gerando legenda .srt e transcrição .md com timestamps; opcionalmente rotula os interlocutores e extrai as falas mais relevantes quando há referência de contexto.AlteleFără avertismente★ 77↓ —Apare și în 2 alte depozite
- tia-networksCzarnak/totally-integrated-claudeC# Openness implementation of topology and low-level network engineering.AlteleFără avertismente★ 76↓ —
- tia-teamcenterCzarnak/totally-integrated-claudeTIA Portal V21 Teamcenter Gateway operations. Use for connecting to Teamcenter, searching/downloading managed projects or libraries, dataset locking, and saving projects or global libraries through the installed provider APIs.AlteleFără avertismente★ 76↓ —
- limits-colimitsparcadei/Continuous-Claude-v3Problem-solving strategies for limits colimits in category theoryAlteleFără avertismente★ 3,9 K↓ —
- 1c-erf-dumpDesko77/claude-code-skills-1cРазобрать ERF-файл отчета 1С в XML-исходники. Используй когда пользователь просит разобрать, декомпилировать отчет, получить исходники из ERF файлаAlteleFără avertismente★ 87↓ —
- tia-hmi-operationsCzarnak/totally-integrated-claudeC# Openness implementation of HMI engineering.AlteleFără avertismente★ 76↓ —
- harnessadriannoes/awesome-agentic-ai하네스를 구성합니다. 전문 에이전트를 정의하며, 해당 에이전트가 사용할 스킬을 생성하는 메타 스킬. (1) '하네스 구성해줘', '하네스 구축해줘' 요청 시, (2) '하네스 설계', '하네스 엔지니어링' 요청 시, (3) 새로운 도메인/프로젝트에 대한 하네스 기반 자동화 체계를 구축할 때, (4) 하네스 구성을 재구성하거나 확장할 때, (5) '하네스 점검', '하네스 감사', '하네스 현황', '에이전트/스킬 동기화' 등 기존 하네스 운영/유지보수 요청 시 사용.AlteleFără avertismente★ 89↓ —
- board-reportingThomasMoreAI/legal-skills-openFür Board Reporting: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 96↓ —
- analytic-functionsparcadei/Continuous-Claude-v3Problem-solving strategies for analytic functions in complex analysisAlteleFără avertismente★ 3,9 K↓ —
- open-setsparcadei/Continuous-Claude-v3Problem-solving strategies for open sets in topologyAlteleFără avertismente★ 3,9 K↓ —Apare și în 1 alt depozit
- mid-serverserac-labs/seracCommunicate with ServiceNow MID Servers via the ECC queue — send Command/JSProbe/PowerShell/SSHCommand payloads to ecc_agent, build custom probes/sensors, and monitor MID health on ecc_agent.AlteleFără avertismente★ 77↓ —
- request-managementserac-labs/seracHandle ServiceNow service requests — sc_request/sc_req_item creation from catalog items, sc_task fulfillment with auto-close on completion, RITM variable access via sc_item_option_mtom, and approval status rollup.AlteleFără avertismente★ 77↓ —
- aesthetic-instrumentavelikiy/great_ctogreat_cto's own committed aesthetic — the instrument panel. Dark five-step surface ladder, exactly one accent, two faces divided by MEANING (Geist speaks, Geist Mono is machine-truth), tabular numerals, and a dash that is not a nought. Twelve checkable rules measured from packages/board and greatcto.systems, not designed for this file. Use when building or extending any great_cto surface — the board, the site, a report, a share page.AlteleFără avertismente★ 108↓ —
proof-failure-explainer
ArabelaTso/Skills-4-SE
AlteleActualizat 21 aug. 2026
De la autor
Analyze 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.
Instalare
npx skills add ArabelaTso/Skills-4-SE --skill proof-failure-explainer -a claude-code
Se instalează în .claude/skills/proof-failure-explainer/ · 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ță: APACHE-2.0
Verificări de siguranță pe SKILL.md
Niciun avertisment.
De ce 83
Securitate100
Proveniență69
Întreținere85
Licență100
Adopție40
Fișiere (2)
- SKILL.md
- references/failure_patterns.md