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.
45.198 de skill-uri din 2.196 de depozite · actualizat acum 22 de minute
9.687 de skill-uri
- verfahrenThomasMoreAI/legal-skills-openFür Umweltrechtliche Verwaltungs- und Gerichtsverfahren: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- pavetonone-ai/tononePlatform engineer — developer experience, golden paths, service catalogs, and local dev environments. Use when asked to "improve dev experience", "build a golden path", "audit the service catalog", or "fix local dev setup".AlteleFără avertismente★ 76↓ —
- podmanlingxling/awesome-skills-cnManage containers using Podman, the daemonless container engine.AlteleFără avertismente★ 321↓ —
- rerunrobium-ai/robiumVisualize robot and machine-learning data with Rerun.AlteleFără avertismente★ 100↓ —
- duldung-60aThomasMoreAI/legal-skills-openFür Duldung Paragraf 60a: Fachmodul im Migrationsrecht: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- takedown-zhou210712ThomasMoreAI/legal-skills-open起草"通知-删除"通知（依信息网络传播权保护条例）、对收到的通知进行分诊或起草反通知。 当通过著作权通知主张权利并经历合理使用和伪证双重关口，当收到的通知需要分诊为合规/ 反通知/协商/忽略选项，或当起草反通知并经历联邦管辖同意关口时使用。AlteleFără avertismente★ 95↓ —
- ressort-bmiThomasMoreAI/legal-skills-openFür Ressort-Heranführung BMI: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- example-pixiBintzGavin/heliosPixiJS integration patterns for Helios. Use when creating high-performance WebGL 2D animations with PixiJS.AlteleFără avertismente★ 123↓ —
- mcp-toolsmrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
- performance-audit-websitesTheGoat395/Codex-SkillsDiagnose measured runtime and Core Web Vitals.AlteleFără avertismente★ 133↓ —
- redislingxling/awesome-skills-cnConfigure Redis for caching and data storage. Set up clustering, persistence, and Sentinel. Use when implementing Redis caching or queues.AlteleFără avertismente★ 321↓ —
- web-style-directorTheGoat395/Codex-SkillsRefine an approved visual lane.AlteleFără avertismente★ 133↓ —
- mcp-sampling-criticNouroedyrustam/vibes-plugExpert guide for MCP client sampling (sampling/createMessage), Critic-in-the-Loop agentic quality gates, autonomous human-in-the-loop emulation, and multi-model consensus verification / Panduan ahli sampling MCP client, quality gate agen Critic-in-the-Loop, dan verifikasi konsensus multi-model.AlteleFără avertismente★ 113↓ —
- tweetclawXquik-dev/tweetclawTwitter bot guide for OpenClaw. Post, reply, search tweets, export followers & monitor accounts through Xquik. Not affiliated with X Corp.AlteleFără avertismente★ 95↓ —
- headless-cms-expertNouroedyrustam/vibes-plugExpert guide for Headless CMS integration (Sanity, Payload CMS, Strapi, Contentful, Storyblok) with modern frameworks / Panduan ahli integrasi Headless CMS (Sanity, Payload, Strapi, Contentful) dengan framework modern.AlteleFără avertismente★ 113↓ —
- twitterReScienceLab/opc-skillsSearch and retrieve content from Twitter/X. Get user info, tweets, replies, followers, communities, spaces, and trends via twitterapi.io. Use when user mentions Twitter, X, or tweets.AlteleFără avertismente★ 1,9 K↓ —
- realtime-wet-surfacesSummerEngine/summerReal-time wetness on existing materials without losing their values — value-copying wet shader, geometry-driven wet mask, instance-uniform wet amount.AlteleFără avertismente★ 88↓ —
- accessibility-audit-websitesTheGoat395/Codex-SkillsAudit semantic and keyboard accessibility.AlteleFără avertismente★ 133↓ —
- mahnbescheidThomasMoreAI/legal-skills-openFür Mahnverfahren – Paragrafen 688 ff. ZPO: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- section-layout-systemsTheGoat395/Codex-SkillsChoose section forms from content shape.AlteleFără avertismente★ 133↓ —
- subskriptionspreis-eThomasMoreAI/legal-skills-openFür Verl-012 · Subskriptionspreis, Einführungspreis und Aktionspreis: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- no-manifestalvin-reyes/better-agentic-ideBetter Agentic Development EnvironmentAlteleFără avertismente★ 85↓ —
- directory-build-organizationdotnet/skillsUSE ONLY for (1) two or more projects with repeated MSBuild policy, targets, or package versions, or (2) an existing Directory.Build.props/targets/rsp hierarchy with an import, placement, or layering defect. A one-project repo without an existing Directory.Build file is outside scope; do not load this skill. Covers centralizing shared policy and targets, Directory.Packages.props across projects, parent hierarchy/import structure, props-versus-targets placement, and folder/project exceptions. An existing hierarchy defect remains in scope when only one project is affected. For property value or condition semantics use property-patterns. Exclude legacy-to-SDK migration and non-MSBuild systems.AlteleVerifică întâi★ 5,7 K↓ —
- evidence-first-engineeringNocodeMrLi/mini-program-engineering-skill-suiteApply evidence-first engineering discipline to any agent-built software project: fact discovery before action, evidence-calibrated status reporting, explicit change boundaries and stage gates, controlled confirmation for risky or external actions, sensitive-information redaction for anything shared publicly, and resumable continuity after interruptions. Use when users ask an agent to take over an existing codebase, deliver a feature across stages, verify whether work is actually complete, judge release readiness, or keep conclusions honest about what is proven versus assumed. This foundation skill is domain-neutral; vertical suites (for example mini-program engineering) build on it by adding domain facts and platform rules.AlteleFără avertismente★ 91↓ —
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