Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
lean4-theorem-proving
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration
majiayu000/claude-skill-registry 163
-
reliability-slo-sla
Define or review SLOs and SLAs for a service. Use when a senior developer needs reliability targets.
majiayu000/claude-skill-registry 163
-
setup-project
Initialize any project with Claude Code best practices and RALPH autonomous development
majiayu000/claude-skill-registry 163
-
prd-progress
Show implementation progress from linked tasks
majiayu000/claude-skill-registry 163
-
codex-container-sandbox
Run Codex CLI inside a Podman container with full internet access but filesystem exposure limited to the repo root + explicit bind mounts; use when you want yolo/web-search without giving the agent access to your whole host filesystem.
majiayu000/claude-skill-registry 163
-
programmatic-seo
When the user wants to create SEO-driven pages at scale using templates and data. Also use when the user mentions "programmatic SEO," "template pages," "pages at scale," "directory pages," "location pages," "[keyword] + [city] pages," "comparison pages," "integration pages," or "building many pages for SEO." For auditing existing SEO issues, see seo-audit.
majiayu000/claude-skill-registry 163
-
mcp-2025-patterns
Current best practices for Model Context Protocol server design, implementation, and integration. Updated patterns for 2025 MCP ecosystem including multi-server orchestration, security, and performance.
majiayu000/claude-skill-registry 163
-
template-mason-brick
Guide for creating, updating, or removing Mason bricks with corresponding tests and CI workflow (project)
majiayu000/claude-skill-registry 163
-
beads
Issue tracking with Beads (bd CLI). Use when commands need to create, query, update, or close issues, or manage dependencies.
majiayu000/claude-skill-registry 163
-
crud
Auto-generates production-ready CRUD functionality with validation, auth, and tests. Use when user mentions CRUD, entity generation, or wants to create API endpoints. Do NOT load for: UI component creation, form design, database schema discussions.
majiayu000/claude-skill-registry 163
-
Consciousness Operations Recognition
Identify how consciousness maintains, transforms, and operates itself. Use when diagnosing notion-reality engines, mind projection patterns, ego-sense dynamics, equanimity operations, or inquiry dissolution. Recognize operational patterns in consciousness evolution.
majiayu000/claude-skill-registry 163
-
example
这是一个示例 Skill，演示如何创建自定义 Skill。
majiayu000/claude-skill-registry 163
-
update-types
Safely update the core data schema and types. Use when changing data models, adding fields, or modifying the report structure.
majiayu000/claude-skill-registry 163
-
agentuity-cli-cloud-sandbox-delete
Delete a sandbox. Requires authentication. Use for Agentuity cloud platform operations
majiayu000/claude-skill-registry 163
-
ercdata
Store, verify, and manage AI data on the Ethereum blockchain (Base network) using the ERCData standard. Use when an agent needs to store data fingerprints on-chain, verify data integrity, create audit trails, manage access control for private data, or interact with the ERCData smart contract. Supports public and private storage, EIP-712 verification, snapshots, and batch operations.
majiayu000/claude-skill-registry 163
-
worker
Execute beads autonomously within a track. Handles bead-to-bead context persistence via Agent Mail, uses preferred tools from AGENTS.md, and reports progress to orchestrator.
majiayu000/claude-skill-registry 163
-
consent-to-sublease-expert
Expert in consent to sublease agreements where a tenant (sublandlord) rents part or all of their space to a subtenant while remaining on the lease. Use when tenant wants to sublet excess space, landlord is evaluating a sublease consent request, negotiating profit-sharing on subrent, drafting three-party consent agreements, analyzing subtenant vs landlord vs tenant rights, calculating whether sublease is better than surrender, or handling partial subleases with shared space. Key terms include sublease, sublandlord, subtenant, subrent, tenant remains liable, recapture rights, profit sharing, SNDA, non-disturbance, partial sublease, direct payment, attornment
majiayu000/claude-skill-registry 163
-
security-antipatterns-python
Use when generating Python code for web applications, APIs, or handling user input - prevents OWASP Top 10 vulnerabilities in Django, Flask, FastAPI
majiayu000/claude-skill-registry 163
-
spec-workflow-orchestrator
Orchestrate comprehensive planning phase from ideation to development-ready specifications using 4 specialized agents
majiayu000/claude-skill-registry 163
-
torchdrug
PyTorch-native graph neural networks for molecules and proteins. Use when building custom GNN architectures for drug discovery, protein modeling, or knowledge graph reasoning. Best for custom model development, protein property prediction, retrosynthesis. For pre-trained models and diverse featurizers use deepchem; for benchmark datasets use pytdc.
majiayu000/claude-skill-registry 163
-
container-use-guide
container-useを使用したクローズドな開発・テスト環境の構築手順、並行作業ガイドライン、技術スタック別設定例を提供
majiayu000/claude-skill-registry 163
-
nixtla-batch-forecaster
Forecast multiple time series in parallel using TimeGPT. Use when processing 10-100+ contracts efficiently. Trigger with 'batch forecast' or 'parallel forecasting'.
majiayu000/claude-skill-registry 163
-
interactive-writing-assistant
This skill provides comprehensive support for the writing process from ideation through revision. Use this skill when helping users write essays, articles, or creative pieces through interactive collaboration. The skill supports co-evolving outline and prose, voice-based input processing, multiple writing styles, and connection to the user's PKM system for enriched content.
majiayu000/claude-skill-registry 163
-
rag-exploitation
Attack techniques for Retrieval-Augmented Generation systems including knowledge base poisoning
majiayu000/claude-skill-registry 163