Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
a5c-ai/babysitter 514
-
temporal-logic-translator
Translate between temporal logic formalisms and generate property specifications
a5c-ai/babysitter 514
-
smt-solver-interface
Interface with SMT solvers for verification and synthesis
a5c-ai/babysitter 514
-
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
a5c-ai/babysitter 514
-
model-checker-interface
Interface with multiple model checking tools for formal verification
a5c-ai/babysitter 514
-
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai/babysitter 514
-
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
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
-
path-planning
Trajectory planning and motion control algorithm development
a5c-ai/babysitter 514
-
misra-compliance
MISRA C/C++ static analysis and compliance checking
a5c-ai/babysitter 514
-
hil-test-automation
Hardware-in-the-loop test development and automation expertise
a5c-ai/babysitter 514
-
automotive-cybersecurity
Vehicle cybersecurity engineering per ISO/SAE 21434
a5c-ai/babysitter 514
-
vehicle-dynamics-sim
Deep integration with vehicle dynamics simulation tools for handling, ride, and stability analysis
a5c-ai/babysitter 514
-
homologation-docs
Type approval documentation and certification management
a5c-ai/babysitter 514
-
regen-braking
Regenerative braking system design and blending expertise
a5c-ai/babysitter 514
-
emissions-calibration
Engine emissions calibration and aftertreatment optimization expertise
a5c-ai/babysitter 514
-
sensor-fusion
Multi-sensor fusion algorithms for perception in autonomous driving
a5c-ai/babysitter 514
-
autosar-config
AUTOSAR Classic and Adaptive Platform configuration and implementation expertise
a5c-ai/babysitter 514
-
requirements-engineering
Automotive requirements management and traceability expertise
a5c-ai/babysitter 514
-
crash-simulation
Crash simulation setup and analysis for occupant protection and regulatory compliance
a5c-ai/babysitter 514
-
uds-diagnostics
Unified Diagnostic Services implementation and validation expertise
a5c-ai/babysitter 514
-
aero-cfd
Vehicle aerodynamics simulation and optimization expertise
a5c-ai/babysitter 514
-
sotif-analysis
Safety of the Intended Functionality (ISO 21448) analysis support
a5c-ai/babysitter 514
-
can-communication
CAN bus design, analysis, and diagnostics expertise
a5c-ai/babysitter 514