Topic: agentic-ai
3,764 skills in this topic.
-
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai/babysitter 514
-
memory-model-analyzer
Analyze programs under various memory models for concurrent correctness
a5c-ai/babysitter 514
-
model-checker-interface
Interface with multiple model checking tools for formal verification
a5c-ai/babysitter 514
-
related-work-analyzer
Analyze and organize related work for theoretical CS papers
a5c-ai/babysitter 514
-
smt-solver-interface
Interface with SMT solvers for verification and synthesis
a5c-ai/babysitter 514
-
soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems
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
-
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
-
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
-
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
-
gromacs-md-executor
GROMACS molecular dynamics skill for nanoparticle-biomolecule interaction simulations
a5c-ai/babysitter 514
-
iso-nanotechnology-compliance-checker
Regulatory compliance skill for ISO nanotechnology standards verification and documentation
a5c-ai/babysitter 514
-
lammps-md-executor
LAMMPS molecular dynamics skill for nanoscale system simulation with force field management
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
-
nanoimprint-process-controller
Nanoimprint Lithography skill for high-throughput nanopatterning with template management and demolding optimization
a5c-ai/babysitter 514
-
nanomaterial-lims-manager
Laboratory Information Management System skill for nanomaterial sample tracking and data management
a5c-ai/babysitter 514
-
saxs-waxs-analyzer
Small/Wide Angle X-ray Scattering skill for nanostructure size, shape, and organization analysis
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
-
sem-eds-analyzer
Scanning Electron Microscopy with Energy Dispersive X-ray Spectroscopy skill for morphology and elemental analysis
a5c-ai/babysitter 514