Topic: ai-agents
18,135 skills in this topic.
-
software-vv-test-generator
Medical device software verification and validation test case generation skill
a5c-ai/babysitter 514
-
udi-labeling-generator
Unique Device Identification (UDI) and labeling compliance skill for generating compliant labels and device identifiers
a5c-ai/babysitter 514
-
sterilization-validation-planner
Sterilization process validation planning skill for EO, radiation, and steam sterilization
a5c-ai/babysitter 514
-
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai/babysitter 514
-
dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
a5c-ai/babysitter 514
-
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
a5c-ai/babysitter 514
-
amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
a5c-ai/babysitter 514
-
operational-semantics-builder
Define and test operational semantics specifications for programming languages
a5c-ai/babysitter 514
-
data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
a5c-ai/babysitter 514
-
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
a5c-ai/babysitter 514
-
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
a5c-ai/babysitter 514
-
abstract-domain-library
Library of abstract domains for static analysis and abstract interpretation
a5c-ai/babysitter 514
-
temporal-logic-translator
Translate between temporal logic formalisms and generate property specifications
a5c-ai/babysitter 514
-
synthesis-specification-language
Define specifications for program synthesis using various paradigms
a5c-ai/babysitter 514
-
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
a5c-ai/babysitter 514
-
crystallography-analysis
Advanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysis
a5c-ai/babysitter 514
-
sem-eds-analyzer
Scanning Electron Microscopy with Energy Dispersive X-ray Spectroscopy skill for morphology and elemental analysis
a5c-ai/babysitter 514
-
ligand-exchange-protocol-manager
Surface chemistry skill for managing ligand exchange reactions, bioconjugation protocols, and functional group quantification
a5c-ai/babysitter 514
-
experiment-planner-doe
Design of Experiments skill for systematic optimization of nanomaterial synthesis and processing
a5c-ai/babysitter 514
-
scale-up-process-analyzer
Process engineering skill for analyzing and optimizing nanomaterial synthesis scale-up from lab to production
a5c-ai/babysitter 514
-
lammps-md-executor
LAMMPS molecular dynamics skill for nanoscale system simulation with force field management
a5c-ai/babysitter 514
-
stm-analyzer
Scanning Tunneling Microscopy skill for atomic-resolution imaging and local density of states measurements
a5c-ai/babysitter 514
-
nanosensor-calibration-manager
Nanosensor characterization skill for calibration, sensitivity analysis, and selectivity validation
a5c-ai/babysitter 514
-
fib-mill-controller
Focused Ion Beam milling skill for site-specific nanofabrication and cross-section preparation
a5c-ai/babysitter 514