すべてのClaudeスキルを閲覧

QEMU Alpine SSH Setup

16

Streamlines the configuration of QEMU virtual machines running Alpine Linux by providing diagnostic-first guidance for networking, SSH access, and automated system setup.

SQL Query Optimization

16

Optimizes SQL queries for maximum performance by identifying bottlenecks, rewriting inefficient subqueries, and implementing high-performance patterns like window functions and CTEs.

MuJoCo MJCF Tuning

16

Optimizes MuJoCo MJCF simulation files to improve computational performance while maintaining high physics accuracy and stability.

Count Dataset Tokens

16

Calculates precise token counts for datasets by systematically identifying relevant text fields and applying correct domain filtering logic.

CompCert Compilation

16

Streamlines the complex build process of the CompCert formally verified C compiler by managing Coq and OCaml dependency versioning.

Test-Driven Development (TDD) Workflow

16

Enforces a rigorous Red-Green-Refactor cycle to ensure every line of production code is verified by a failing test first.

LaTeX Overfull Hbox Fixer

16

Fixes LaTeX overfull hbox warnings by strategically replacing words with shorter synonyms from a restricted, predefined vocabulary.

SPARQL University

16

Constructs and verifies complex SPARQL queries for RDF datasets with a focus on academic ontologies and graph pattern matching.

BioServices Bioinformatics Toolkit

16

Provides programmatic access to over 40 bioinformatics web services for biological data retrieval, identifier mapping, and pathway analysis.

Count Dataset Tokens

16

Calculates token counts in large-scale datasets using specific tokenizers and precise filtering criteria.

Fix Git

16

Recovers lost commits, resolves detached HEAD states, and repairs common Git repository issues using systematic diagnostic and recovery protocols.

Pydicom

16

Reads, writes, and manipulates DICOM medical imaging data, including pixel arrays, metadata extraction, and file anonymization.

MCMC Sampling with Stan

16

Implements Bayesian statistical models and runs MCMC sampling using Stan with comprehensive diagnostic validation.

Large-Scale Text Editing

16

Optimizes the transformation of massive text files through efficient tool selection, pattern-based editing, and systematic verification strategies.

ARC-AGI Git Merge & Pattern Tasks

16

Facilitates solving complex pattern recognition tasks by combining git workflow management with mathematical grid transformation analysis and implementation.

FEAL Linear Cryptanalysis

16

Provides mathematical and procedural guidance for performing linear cryptanalysis attacks on the FEAL cipher family to recover encryption keys.

ELF Binary Data Extraction

16

Parses and extracts structured data from ELF binary files by validating headers, mapping segments, and ensuring accurate data type conversion.

Polyglot C & Python Development

16

Creates single source files that function as both valid Python scripts and C programs through specialized syntax techniques.

Extract Moves From Video

16

Extracts text commands, terminal inputs, and gameplay moves from screen recordings using optimized OCR and image preprocessing techniques.

Compile CompCert

16

Provides comprehensive guidance for building the formally verified CompCert C compiler from source while managing strict dependency versions and memory constraints.

Polyglot Rust and C/C++

16

Generates source code that compiles and executes correctly as both Rust and C or C++ by utilizing comment syntax differences and preprocessor directives.

Nginx Request Logging

16

Configures Nginx web servers with custom access logging, rate limiting, and static content serving using production-ready patterns.

QEMU VM Startup

16

Facilitates the reliable launch, configuration, and lifecycle management of QEMU virtual machines with serial console access.

Vulnerable Secret Extraction

16

Analyzes and exploits vulnerable executables to extract hidden flags, secrets, and cryptographic keys using static and dynamic analysis techniques.

DNA Insert Primer Design

16

Designs and validates specialized primers for DNA sequence insertion into plasmids using site-directed mutagenesis protocols.

PyPI Server

16

Automates the creation, building, and serving of Python packages through local, pip-compatible repositories.

Regex Chess Logic

16

Implements complex chess move generation and game logic using regular expressions and pattern matching constraints.

Regex Log Parsing

16

Constructs complex regular expressions to extract and validate structured data from log files using a systematic decomposition strategy.

Break Filter JS from HTML

16

Provides a systematic methodology for identifying and bypassing HTML/JavaScript sanitization filters in security testing environments.

Log Summary Date Ranges

16

Aggregates log file entries across specific date ranges to produce detailed severity statistics and structured CSV reports.