data Skills

Use when user asks to "create a skill", "make a command", "generate a prompt", "write a slash command", "build a Claude...

Prompt engineering standards and context engineering principles for AI agents based on Anthropic best practices. Covers...

Automatically applies when engineering prompts for LLMs. Ensures proper prompt structure, templates, few-shot examples,...

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...

Structured methodology for constructing and verifying mathematical proofs in statistical research

Assist in constructing algorithm correctness proofs

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...

Analyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumpt...

Rapid validation of technical feasibility and approach before full implementation. Use when evaluating new technologies,...

Enforces "prove before claim" discipline - validation, testing, and evidence requirements before declaring work complete...

Generate structured proof skeletons with tactics, strategies, and intermediate lemmas for theorems in Isabelle/HOL or Co...

Proof writing and verification techniques for mathematical reasoning. Covers 13 proof strategies with canonical worked e...

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: (...

Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version contro...

Homeostatic actuator that tags code, tests, and commits with REQ-* keys for traceability. Adds "# Implements:" tags to c...

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...

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...

Generate invariant and edge-case tests.

Analyze a rental / investment property's returns — cash flow, cap rate, cash-on-cash, ROI. Use when asked to analyze a r...

Introduces property-based testing with proptest, helping users find edge cases automatically by testing invariants and p...

Use when executing approved proposals. Researchers can execute ANY approved proposal (not just their own) to perform act...

Format trading proposals with timestamped headers and disciplined bullet structure. Use when a persona must deliver a si...

Publish a proposal, offer, or pitch as a tracked link and report back whether it's getting read (view analytics after se...

Templates and frameworks for creating winning sales proposals. Executive summaries, scope of work, pricing strategies, a...

--- .claude/skills/git-pushing/SKILL.md (original)

ワークフロー改善提案の起案からIssue化までを行う（ROI分析・アクションプラン付）

Provide expert code review and refactoring suggestions for Swift code, focusing on clarity, maintainability, performance...

The logic of sentential connectives -- and, or, not, if-then, if-and-only-if -- as a formal system. Covers syntax (well-...

Create original surveys, benchmarks, and aggregated data nobody else has. Automate data collection for content moats. Tr...

Property-based testing for Rust using proptest. Use when writing tests that verify properties hold for arbitrary inputs,...

Guidelines for generating coherent book prose including voice and tone, paragraph structure, transition techniques, and...

Evaluate and elevate writing effectiveness through multi-dimensional quality assessment. Analyzes craft, coherence, auth...

Diagnose sentence-level issues after structure is solid. Use when prose feels flat, sentences are monotonous, word choic...

Guide for working with the ProseMirror-based notes editor. Use when editing notes feature code, fixing editor bugs, work...

Full ICP-to-leads pipeline. Describe your ideal customer in plain English and get a ranked table of enriched decision-ma...

Creates comprehensive prospect profiles and knowledge capsules for sales preparation. Use this skill when researching ne...

Annotate passing code with protection levels (@protected/@immutable/@maintainable). Use when stabilizing working feature...

Audit protected files, generate protection reports, and verify protection consistency. Use for protection system mainten...

Analyzes protective collar strategies combining long stock, long put protection, and short call income. Requires numpy>=...

Guidance for designing fusion protein gBlock sequences from multiple protein sources. This skill applies when tasks invo...

Search for similar protein sequences in UniProt Swiss-Prot database using BLAST to identify homologous proteins and func...

Searches for homologous protein sequences using MMseqs2 (fast, default) or BLAST (comprehensive, fallback). Trigger this...

Quality control and assessment for proteomics data. Use when evaluating proteomics data quality before downstream analys...