Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
lemma-discovery-assistant
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.
majiayu000/claude-skill-registry 163
-
lp-do-replan
Thin orchestrator for resolving low-confidence plan tasks with evidence, explicit precursor tasks, stable task IDs, and checkpoint-aware reassessment.
majiayu000/claude-skill-registry 163
-
iap
In-app purchases skill for receipt validation.
majiayu000/claude-skill-registry 163
-
spec_driven_development.specify
Defines functional requirements as user stories without technology choices. Use when starting to design a new feature.
majiayu000/claude-skill-registry 163
-
api-design-principles
Master REST and GraphQL API design principles to build intuitive, scalable, and maintainable APIs that delight developers. Use when designing new APIs, reviewing API specifications, or establishing API design standards.
majiayu000/claude-skill-registry 163
-
review-test-coverage
Analyze code for test coverage gaps, untested functions, and missing edge cases. Returns structured findings without writing tests. Use when the user asks to "review test coverage", "check test coverage", "find untested code", "analyze coverage gaps", or "what needs tests".
majiayu000/claude-skill-registry 163
-
bullmq-specialist
BullMQ expert for Redis-backed job queues, background processing, and reliable async execution in Node.js/TypeScript applications. Use when: bullmq, bull queue, redis queue, background job, job queue.
majiayu000/claude-skill-registry 163
-
evo-check-implementation-readiness
Validate PRD, UX, Architecture and Epics specs are complete. Use when the user says "check implementation readiness".
majiayu000/claude-skill-registry 163
-
implement-admin-moderation
Plan and implement Stage 8 Admin/Moderation with user management, track moderation, analytics dashboards, and audit logging (plan)
majiayu000/claude-skill-registry 163
-
041-planning-plan-mode
Use when creating a plan using Plan model and enhancing structured design plans in Cursor Plan mode for Java implementations. Use when the user wants to create a plan, design an implementation, structure a development plan, or use plan mode for outside-in TDD, feature implementation, or refactoring work. Part of the skills-for-java project
majiayu000/claude-skill-registry 163
-
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, or modifying behavior. Explores user intent, requirements and design before implementation.
majiayu000/claude-skill-registry 163
-
research-add-items
向现有调研outline补充items（调研对象）。
majiayu000/claude-skill-registry 163
-
132-java-testing-integration-testing
Use when you need to set up, review, or improve Java integration tests — including generating a BaseIntegrationTest.java with WireMock for HTTP stubs, detecting HTTP client infrastructure from import signals, injecting service coordinates dynamically via System.setProperty(), creating WireMock JSON mapping files with bodyFileName, isolating stubs per test method, verifying HTTP interactions, or eliminating anti-patterns such as Mockito-mocked HTTP clients or globally registered WireMock stubs. Part of the skills-for-java project
majiayu000/claude-skill-registry 163
-
gh-fix-ci
Inspect GitHub PR checks with gh, pull failing GitHub Actions logs, summarize failure context, then create a fix plan and implement after user approval. Use when a user asks to debug or fix failing PR CI/CD checks on GitHub Actions and wants a plan + code changes; for external checks (e.g., Buildkite), only report the details URL and mark them out of scope.
majiayu000/claude-skill-registry 163
-
convert-to-cpm
Convert .NET projects and solutions (.sln, .slnx) to NuGet Central Package Management (CPM) using Directory.Packages.props. USE FOR: converting to CPM, centralizing or aligning NuGet package versions across multiple projects, inlining MSBuild version properties from Directory.Build.props into Directory.Packages.props, resolving version conflicts or mismatches across a solution or repository, updating or bumping or syncing package versions across projects. Also activate when packages are out of sync, drifting, or inconsistent — even without the user mentioning CPM. Provides baseline build capture, version conflict resolution, build validation with binlog comparison, and a structured post-conversion report. DO NOT USE FOR: packages.config projects (must migrate to PackageReference first) or repositories that already have CPM fully enabled.
majiayu000/claude-skill-registry 163
-
feishu-perm
Feishu permission management for documents and files. Activate when user mentions sharing, permissions, collaborators.
majiayu000/claude-skill-registry 163
-
interview
This skill conducts discovery conversations to understand user intent and agree on approach before taking action. It should be used when the user explicitly calls /interview, asks for recommendations, needs brainstorming, wants to clarify, or when the request could be misunderstood. Prevents building the wrong thing by uncovering WHY behind WHAT.
majiayu000/claude-skill-registry 163
-
lelon
Lelon Electronics MPN encoding patterns, suffix decoding, and handler guidance. Use when working with Lelon aluminum electrolytic capacitors.
majiayu000/claude-skill-registry 163
-
code-review
Comprehensive code review knowledge including security, performance, accessibility, and quality standards across multiple languages and frameworks
majiayu000/claude-skill-registry 163
-
continuous-learning
Automatically extract reusable patterns from Claude Code sessions and save them as learned skills for future use.
majiayu000/claude-skill-registry 163
-
tcp-ip
TCP/IP 网络诊断与排查
majiayu000/claude-skill-registry 163
-
ln-646-project-structure-auditor
Checks file hygiene, ignore files, framework conventions, domain/layer organization, naming. Use when auditing project structure.
majiayu000/claude-skill-registry 163
-
bmad-bmm-retrospective
Post-epic review to extract lessons and assess success. Use when the user says "run a retrospective" or "lets retro the epic [epic]"
majiayu000/claude-skill-registry 163
-
gwas-database
Query NHGRI-EBI GWAS Catalog for SNP-trait associations. Search variants by rs ID, disease/trait, gene, retrieve p-values and summary statistics, for genetic epidemiology and polygenic risk scores.
majiayu000/claude-skill-registry 163