ReddRadar
Topic: claude-skills
11,948 skills in this topic.
-
emissions-calibration
Engine emissions calibration and aftertreatment optimization expertise
a5c-ai/babysitter 514
-
crash-simulation
Crash simulation setup and analysis for occupant protection and regulatory compliance
a5c-ai/babysitter 514
-
can-communication
CAN bus design, analysis, and diagnostics expertise
a5c-ai/babysitter 514
-
autosar-config
AUTOSAR Classic and Adaptive Platform configuration and implementation expertise
a5c-ai/babysitter 514
-
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai/babysitter 514
-
linearizability-checker
Check linearizability of concurrent data structure implementations
a5c-ai/babysitter 514
-
latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
a5c-ai/babysitter 514
-
dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
a5c-ai/babysitter 514
-
data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
a5c-ai/babysitter 514
-
automotive-cybersecurity
Vehicle cybersecurity engineering per ISO/SAE 21434
a5c-ai/babysitter 514
-
aero-cfd
Vehicle aerodynamics simulation and optimization expertise
a5c-ai/babysitter 514
-
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
a5c-ai/babysitter 514
-
consensus-protocol-library
Reference implementations and specifications of consensus protocols
a5c-ai/babysitter 514
-
complexity-class-oracle
Classify problems into complexity classes with supporting evidence and proof strategies
a5c-ai/babysitter 514
-
benchmark-suite-manager
Manage benchmarks for algorithm engineering experiments and evaluations
a5c-ai/babysitter 514
-
asymptotic-notation-calculator
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
a5c-ai/babysitter 514
-
approximation-ratio-calculator
Analyze and prove approximation ratios for optimization algorithms
a5c-ai/babysitter 514
-
amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
a5c-ai/babysitter 514
-
abstract-domain-library
Library of abstract domains for static analysis and abstract interpretation
a5c-ai/babysitter 514
-
clap-scaffolder
Generate Clap-based Rust CLI applications with derive macros, subcommands, and modern Rust patterns. Creates production-ready Rust CLI with proper cargo structure.
a5c-ai/babysitter 514
-
chalk-styling-system
Create consistent chalk-based color and styling system for CLI output with themes, semantic colors, and formatting utilities.
a5c-ai/babysitter 514
-
bubble-tea-scaffolder
Generate Bubble Tea (Go) TUI application structure with models, commands, and views using the Elm architecture.
a5c-ai/babysitter 514
-
bash-script-template
Generate bash script templates with best practices including error handling, argument parsing, logging, and portability considerations.
a5c-ai/babysitter 514
-
argument-validator-generator
Generate argument validation logic with type coercion, constraints, custom validators, and helpful error messages for CLI applications.
a5c-ai/babysitter 514