Topic: ai-agents
18,135 skills in this topic.
-
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
-
synthesis-specification-language
Define specifications for program synthesis using various paradigms
a5c-ai/babysitter 514
-
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
a5c-ai/babysitter 514
-
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
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
-
characterization-workflow-orchestrator
Workflow automation skill for orchestrating multi-technique characterization sequences
a5c-ai/babysitter 514
-
afm-spm-analyzer
Atomic Force Microscopy and Scanning Probe Microscopy skill for nanoscale topography, mechanical, and electrical property mapping
a5c-ai/babysitter 514
-
ftir-analyzer
Fourier Transform Infrared spectroscopy skill for molecular identification and surface functional group analysis
a5c-ai/babysitter 514
-
experiment-planner-doe
Design of Experiments skill for systematic optimization of nanomaterial synthesis and processing
a5c-ai/babysitter 514
-
cytotoxicity-assay-analyzer
Nanotoxicology skill for in vitro cytotoxicity assessment and cell viability analysis
a5c-ai/babysitter 514
-
nanocatalyst-performance-analyzer
Nanocatalysis skill for evaluating catalytic activity, selectivity, and stability of nanomaterial catalysts
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
-
fluorescence-spectroscopy-analyzer
Fluorescence spectroscopy skill for quantum dot characterization, FRET measurements, and photoluminescence analysis
a5c-ai/babysitter 514
-
ml-materials-predictor
Machine learning skill for nanomaterial property prediction and discovery acceleration
a5c-ai/babysitter 514
-
lammps-md-executor
LAMMPS molecular dynamics skill for nanoscale system simulation with force field management
a5c-ai/babysitter 514
-
fib-mill-controller
Focused Ion Beam milling skill for site-specific nanofabrication and cross-section preparation
a5c-ai/babysitter 514
-
dls-particle-sizer
Dynamic Light Scattering skill for hydrodynamic size distribution and polydispersity 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
-
plasma-etch-controller
Plasma etching skill for anisotropic nanostructure patterning with selectivity and profile control
a5c-ai/babysitter 514
-
nta-particle-tracker
Nanoparticle Tracking Analysis skill for single-particle size and concentration measurements
a5c-ai/babysitter 514
-
nanosensor-calibration-manager
Nanosensor characterization skill for calibration, sensitivity analysis, and selectivity validation
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
-
tem-image-analyzer
Transmission Electron Microscopy image analysis skill for nanoparticle size, morphology, and crystallography assessment
a5c-ai/babysitter 514