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.604 skill-uri din 2.205 depozite · actualizat acum 22 de ore
9.755 de skill-uri
- solana-agent-kitinternet-court/internet-court-skillComprehensive guide for building AI agents that interact with Solana blockchain using SendAI's Solana Agent Kit. Covers 60+ actions, LangChain/Vercel AI integration, MCP server setup, and autonomous agent patterns.AlteleFără avertismente★ 7 K↓ —Apare și în 1 alt depozit
- 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.AlteleFără avertismente★ 259↓ —
- abstract-domain-explorerArabelaTso/Skills-4-SEApplies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program properties, inferring loop invariants, detecting potential errors, or understanding variable relationships through static analysis.AlteleFără avertismente★ 259↓ —
- performance-audit-websitesTheGoat395/Codex-SkillsDiagnose measured runtime and Core Web Vitals.AlteleFără avertismente★ 133↓ —
- openhraAAaqwq/AGI-Super-TeamBoss直聘全流程AI自动化招聘智能体。自动登录、筛选候选人、个性化打招呼、智能聊天跟进、简历解析、飞书同步。触发词：启动招聘、自动打招呼、boss greet、openhr、简历解析、上传飞书。AlteleFără avertismente★ 111↓ —
- cm-product-managerkingxiaozhe/cm-workflow产品经理 Skill，负责需求分析、用户故事与验收标准编写、歧义清单生成、变更影响分析、业务验收走查；把关型角色，不做技术设计与技术测试AlteleFără avertismente★ 97↓ —
- hook-3s-scriptxianyu110/ecommerce-video-skills3 秒钩子脚本：为电商短视频写前 3 秒开场（台词 + 画面 + 花字），按痛点/反差/结果先行/提问/数字/场景代入等钩子类型一次给出多版，并做合规自检。Use when the user asks for a hook, 开头, 黄金 3 秒, 前三秒, opening line, scroll-stopper, 完播率, or wants to rewrite a weak opening for 抖音 / TikTok Shop / 视频号 / Reels.AlteleFără avertismente★ 99↓ —
- pymcK-Dense-AI/scientific-agent-skillsBuilds and checks Bayesian models with PyMC, including hierarchical models, NUTS MCMC, variational inference, mutable-data predictions, posterior predictive checks, diagnostics, and PSIS-LOO model comparison. Use for probabilistic modeling and uncertainty inference in PyMC.AlteleFără avertismente★ 54,5 K↓ —Apare și în 1 alt depozit
- character-asset62656456/ai-film-skills根据剧本与人物身份设计角色资产，固定三视图加中景；支持女性角色魅力、气质与肖像设计。用于人物、角色设计、人物设定、人物资产、女性魅力、character、角色图；输出静态参考图任务说明与资产合同， 本 Skill 独立完成静态参考图任务说明、资产锁定、审核字段、负向约束和可供后续制作直接读取的资产合同。AlteleFără avertismente★ 88↓ —
- 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.AlteleFără avertismente★ 380↓ —
- janitor-reportkhendzel/skills-janitorFull health check of all your skills in one report. Use when the user wants to check for errors, find duplicates, detect broken skills, or get a complete overview of skill health. Pass --brief for inventory only. Trigger with '/janitor-report'.AlteleFără avertismente★ 122↓ —
- draft-responseBevel-Software/HexisDraft a professional customer-facing response tailored to the situation and relationship. Use when answering a product question, responding to an escalation or outage, delivering bad news like a delay or won't-fix, declining a feature request, or replying to a billing issue.AlteleFără avertismente★ 120↓ —
- notification-eventsserac-labs/seracUse ServiceNow events (sysevent) — gs.eventQueue dispatch, sysevent_register definitions, sysevent_script_action handlers, delayed events with process_on, and reminder/state-change patterns.AlteleFără avertismente★ 78↓ —
- lernsitzungThomasMoreAI/legal-skills-openFür Lerneinheit: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.AlteleFără avertismente★ 95↓ —
- learning-looprobium-ai/robiumRun Robium's learning cycle when asked or when its session-start reminder is approved: consolidate captured signals, absorb ready guidance, refine skills, and inspect learning status.AlteleFără avertismente★ 100↓ —
- spring-boot-resilience4jgiuseppe-trisciuoglio/developer-kitProvides fault tolerance patterns for Spring Boot 3.x using Resilience4j. Use when implementing circuit breakers, handling service failures, adding retry logic with exponential backoff, configuring rate limiters, or protecting services from cascading failures. Generates circuit breaker, retry, rate limiter, bulkhead, time limiter, and fallback implementations. Validates resilience configurations through Actuator endpoints.AlteleFără avertismente★ 363↓ —
- lemma-discovery-assistantArabelaTso/Skills-4-SEAnalyze failed or stuck proofs and propose auxiliary lemmas to help complete the proof in Isabelle/HOL or Coq. Use when encountering proof failures, stuck proof states, unprovable subgoals, or when needing to strengthen induction hypotheses. Identifies missing lemmas, suggests proof strategies, and generates helper lemmas with appropriate statements and proof sketches. Supports inductive proofs, case analysis, rewriting, and complex proof obligations.AlteleFără avertismente★ 259↓ —
- grace-executeosovv/grace-marketplaceExecute an approved GRACE 4 GraceChangePlan in sequential or parallel-safe mode with recovery-aware preflight and centralized durable apply.AlteleFără avertismente★ 254↓ —Apare și în 1 alt depozit
- 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.AlteleFără avertismente★ 6,3 K↓ —
- hunt-lfilingxling/awesome-skills-cnHunt Local File Inclusion (LFI), Remote File Inclusion (RFI), and Path TraversalAlteleFără avertismente★ 321↓ —
- testimonial-proof-systemsTheGoat395/Codex-SkillsPresent attributable testimonials and proof.AlteleFără avertismente★ 133↓ —
- visualizationrobium-ai/robiumChoose between RViz2, Foxglove, Lichtblick, and Rerun to inspect robot behavior.AlteleFără avertismente★ 100↓ —
- hylo-index-knowledgeskoowoo/hyloAdds knowledge units that aren't in any domain index to /_knowledge/_indexes/, creating domains as needed; safe to rerun. Use after compiling, or when the user asks to build or refresh the knowledge index.AlteleFără avertismente★ 100↓ —
- release-postermrpulor-gh/nuphusNuphus — 本地优先的 AI Agent：真实桌面执行力 + 手机第二块屏幕。Local-first AI agent with real desktop execution and dual-device real-time sync.AlteleFără avertismente★ 89↓ —
lemma-discovery-assistant
ArabelaTso/Skills-4-SE
AlteleActualizat 21 aug. 2026
De la autor
Analyze failed or stuck proofs and propose auxiliary lemmas to help complete the proof in Isabelle/HOL or Coq. Use when encountering proof failures, stuck proof states, unprovable subgoals, or when needing to strengthen induction hypotheses. Identifies missing lemmas, suggests proof strategies, and generates helper lemmas with appropriate statements and proof sketches. Supports inductive proofs, case analysis, rewriting, and complex proof obligations.
Instalare
npx skills add ArabelaTso/Skills-4-SE --skill lemma-discovery-assistant -a claude-code
Se instalează în .claude/skills/lemma-discovery-assistant/ · 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 (4)
- SKILL.md
- references/coq_lemmas.md
- references/isabelle_lemmas.md
- references/proof_patterns.md