Browse 138,453 skills across 70 categories. Mirrored from majiayu000/claude-skill-registry.
"Fill prompt templates with variables from task context, replacing placeholders like {user_name} or {analysis}. Use when...
A/B testing and performance metrics for prompts
プロンプトのテスト、評価、反復改善を専門とするスキル。A/Bテスト、評価メトリクス、自動化されたプロンプト品質保証により、本番環境で信頼性の高いプロンプトを実現します。Anchors:• Test-Driven Development: B...
Deep dive into prompt-tsx patterns used in vscode-copilot-chat, including component lifecycle, async rendering, priority...
Improve embedded LLM system prompt based on evaluation test failures
Track prompt versions, A/B test variants, and measure prompt performance
プロンプトのライフサイクル管理を専門とするスキル。バージョン管理、デプロイ戦略、ロールバック、変更追跡により、本番環境で安全かつ効率的なプロンプト運用を実現します。 Anchors: • The Pragmatic Programmer...
Expert prompt engineering for LLMs and AI agents. Use when users request help writing, reviewing, or improving prompts f...
Creates effective prompts for AI coding agents and subagent delegation. Use PROACTIVELY when writing prompts for Task to...
Generates, analyzes, and optimizes prompts for skills, commands, subagents, reference docs, and free-form text. Use when...
提示词X光透视 - 从优秀提示词中逆向提取"如何做X"的知识，让黑盒变透明
Use when user asks to "create a skill", "make a command", "generate a prompt", "write a slash command", "build a Claude...
Promptfoo evaluation framework for testing and comparing LLM outputs. Use when writing eval configs, creating test cases...
Configures and runs LLM evaluation using Promptfoo framework. Use when setting up prompt testing, creating evaluation co...
Meta-prompting system for dynamic prompt generation using templates, standards, and patterns. USE WHEN meta-prompting, t...
PROACTIVE: This skill SHOULD BE USED AUTOMATICALLY when writing prompts, system prompts, crafting instructions for LLMs,...
Prompt engineering standards and context engineering principles for AI agents based on Anthropic best practices. Covers...
Comprehensive library of proven prompting patterns, frameworks, and examples for different use cases. This skill should...
Automatically applies when engineering prompts for LLMs. Ensures proper prompt structure, templates, few-shot examples,...
Prompt injection testing. USE WHEN prompt injection, jailbreak, LLM security, AI security assessment, pentest AI applica...
Simulate the execution of Prompton, a Python-like language where `prompt'...'` expressions evaluate to the result of the...
You are a helpful assistant that can assist in writing, abstracting, annotating, and summarizing Python code.
Generates PromQL queries with RED/USE/SLO patterns, native histograms, recording rules, and alerting expressions. Use wh...
Validates existing PromQL query syntax, detects anti-patterns, checks best practices, and optimizes performance. Use whe...
Scans lyrics for pronunciation risks and prevents Suno mispronunciations. Use when writing lyrics with proper nouns, tec...
Use when the user asks for proofreading or light copy editing while preserving original wording, tone, and order. Trigge...
Structured methodology for constructing and verifying mathematical proofs in statistical research
Assist in constructing algorithm correctness proofs
Use when caching ZK proofs for performance, implementing proof cache invalidation, storing verification results, caching...
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model revie...
Validates entire engineering proof chain. Verifies architecture, backend maps, backend code, standardization, frontend t...
Proof-driven development - design proofs from requirements, then execute CREATE -> VERIFY -> REMEDIATE cycle. Use when i...
Run proof-driven development using Lean 4 for formal verification - comprehensive skill handling both design (planning)...
Analyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumpt...
Use when generating ZK proofs server-side, building proof-as-a-service backends, offloading proof computation from clien...
Ensure every critical claim has verifiable evidence with confidence levels. Each fact must have source + confidence perc...
Use when building witness data for ZK proofs, showing proof generation progress to users, implementing disclosure consen...
Rapid validation of technical feasibility and approach before full implementation. Use when evaluating new technologies,...
Enforce validation and evidence before declaring work complete. Use for acceptance criteria and done gates.
Use automatically during development workflows when making claims about tests, builds, verification, or code quality req...
Extract proof points from portfolio case studies and generate punchy scripts with storyboards. Use when user wants to cr...
Generate structured proof skeletons with tactics, strategies, and intermediate lemmas for theorems in Isabelle/HOL or Co...
Problem-solving strategies for proof theory in mathematical logic
Summarize long Isabelle or Coq proof scripts into high-level logical steps and reasoning flow. Use when users need to: (...
Use when verifying ZK proofs server-side, validating proofs before transaction submission, building verification gateway...
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollar...
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version contro...
Run the proofreading protocol on lecture files. Checks grammar, typos, overflow, consistency, and academic writing quali...
Homeostatic actuator that tags code, tests, and commits with REQ-* keys for traceability. Adds "# Implements:" tags to c...
Sussman/Radul propagator networks for constraint propagation and bidirectional
Test software in the style of John Hughes, inventor of QuickCheck and property-based testing. Emphasizes specifying prop...
Generates property-based tests using Hypothesis (Python), fast-check (JavaScript/TypeScript), or QuickCheck (Haskell). U...
Property Based Test Helper - Auto-activating skill for Test Automation.Triggers on: property based test helper, property...
Generate invariant and edge-case tests.
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...
Property-based testing with fast-check (TypeScript/JavaScript) and Hypothesis (Python). Generate test cases automaticall...
Use when writing, reviewing, or modifying property-based tests, such as those using `fast-check`, or when asked to add t...
How to make a good property-based test. Use when writing any property-based test.
Search property ownership records and real estate transactions
Generate property-based tests with FsCheck or fast-check
Property-based testing with fast-check for business logic validation