ReddRadar
Topic: agentic-workflow
2,980 skills in this topic.
-
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
a5c-ai/babysitter 514
-
theorem-prover-interface
Interface with interactive theorem provers for mechanized verification
a5c-ai/babysitter 514
-
tla-plus-generator
Generate and analyze TLA+ specifications for distributed systems verification
a5c-ai/babysitter 514
-
turing-machine-simulator
Simulate Turing machines for computability analysis and algorithm demonstration
a5c-ai/babysitter 514
-
type-inference-engine
Implement and test type inference algorithms including Algorithm W and constraint-based inference
a5c-ai/babysitter 514
-
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
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
-
metallurgical-analysis
Specialized skill for metallic materials analysis and metallography including grain size measurement, phase quantification, and inclusion rating
a5c-ai/babysitter 514
-
polymer-characterization
Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological properties
a5c-ai/babysitter 514
-
surface-analysis
Skill for surface composition, chemical state, and topography analysis including XPS depth profiling, AFM imaging, and contact angle measurements
a5c-ai/babysitter 514
-
thermal-analysis
Skill for thermal characterization workflows including DSC, TGA, DTA, TMA, and DMA for phase transitions, decomposition, and viscoelastic property analysis
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
-
characterization-workflow-orchestrator
Workflow automation skill for orchestrating multi-technique characterization sequences
a5c-ai/babysitter 514
-
cleanroom-metrology-controller
Nanofabrication metrology skill for process control with CD-SEM, ellipsometry, and profilometry
a5c-ai/babysitter 514
-
cleanroom-protocol-manager
Cleanroom operations skill for managing protocols, contamination control, and process flows
a5c-ai/babysitter 514
-
colloidal-stability-analyzer
Colloidal stability assessment skill for evaluating nanoparticle dispersion stability through zeta potential, aggregation kinetics, and shelf-life prediction
a5c-ai/babysitter 514
-
cytotoxicity-assay-analyzer
Nanotoxicology skill for in vitro cytotoxicity assessment and cell viability analysis
a5c-ai/babysitter 514
-
dls-particle-sizer
Dynamic Light Scattering skill for hydrodynamic size distribution and polydispersity analysis
a5c-ai/babysitter 514
-
drug-encapsulation-optimizer
Drug delivery formulation skill for optimizing drug loading, encapsulation efficiency, and release kinetics
a5c-ai/babysitter 514
-
ebl-process-controller
Electron Beam Lithography skill for high-resolution nanopatterning with dose optimization and proximity effect correction
a5c-ai/babysitter 514
-
experiment-planner-doe
Design of Experiments skill for systematic optimization of nanomaterial synthesis and processing
a5c-ai/babysitter 514
-
fib-mill-controller
Focused Ion Beam milling skill for site-specific nanofabrication and cross-section preparation
a5c-ai/babysitter 514
-
fluorescence-spectroscopy-analyzer
Fluorescence spectroscopy skill for quantum dot characterization, FRET measurements, and photoluminescence analysis
a5c-ai/babysitter 514
-
ftir-analyzer
Fourier Transform Infrared spectroscopy skill for molecular identification and surface functional group analysis
a5c-ai/babysitter 514