Separation train synthesis skill for optimal sequencing and technology selection

Automated thermodynamic property method selection based on component characteristics and operating conditions

ADA accessibility compliance checking skill for routes, slopes, and pedestrian facilities

BIM clash detection skill for identifying and managing coordination conflicts between disciplines

Building code compliance checking skill for IBC occupancy, construction type, and area requirements

Construction cost database interface skill for unit costs, productivity, and regional adjustments

GIS spatial analysis skill for watershed delineation, floodplain mapping, and site analysis

Hydraulic analysis skill for open channel flow, culverts, and pipe networks

Permit application preparation skill for building, environmental, and DOT permits

Library of abstract domains for static analysis and abstract interpretation

Analyze and prove approximation ratios for optimization algorithms

Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis

Classify problems into complexity classes with supporting evidence and proof strategies

Implement CEGAR for synthesis and verification workflows

Verify correctness of compiler optimizations using formal methods

Construct and verify polynomial-time reductions between computational problems

Prove termination of algorithms and programs using ranking functions and well-founded orderings

Skill for integrated stormwater management and green infrastructure design with SWMM modeling, hydrologic analysis, BMP sizing, and MS4 permit compliance.

Solve convex optimization problems efficiently

Mixed-integer linear and nonlinear programming

Solve general nonlinear optimization problems

Skill for additive manufacturing process selection, design optimization, and build preparation

Deep integration with computational fluid dynamics tools for internal and external flow analysis

Expert skill for CNC programming and toolpath optimization using CAM software

Skill for piping system stress analysis per ASME B31

Skill for manufacturing process planning including operation sequencing and work instructions

Skill for systematic requirements capture, decomposition, and traceability

Structured skill for conducting engineering trade studies and concept selection

Cleanroom operations skill for managing protocols, contamination control, and process flows

COMSOL Multiphysics skill for continuum-scale nanomaterial and device modeling

Wettability analysis skill for surface energy characterization and hydrophobicity/hydrophilicity assessment

Dynamic Light Scattering skill for hydrodynamic size distribution and polydispersity analysis

Surface chemistry skill for managing ligand exchange reactions, bioconjugation protocols, and functional group quantification

Materials database query skill for accessing structure and property data from multiple repositories

COMSOL finite element skill for multiphysics simulations including electromagnetics, heat transfer, and fluid dynamics

Delphes fast detector simulation skill for phenomenological studies and BSM searches

EPICS control system skill for accelerator and beamline instrument control and monitoring

Geant4 detector simulation skill for particle transport, detector geometry, and physics process modeling

LabVIEW instrument control skill for DAQ systems, hardware integration, and real-time data acquisition

LAMMPS molecular dynamics simulation skill for atomistic simulations, force field setup, and large-scale parallel computations

PyMC probabilistic programming skill for hierarchical Bayesian models in physics data analysis

PyMeasure laboratory automation skill for instrument control and automated measurement sequences

Pythia event generation skill for proton-proton and lepton collisions at high energies

Qiskit quantum computing skill for circuit design, simulation, and quantum algorithm development

Scikit-HEP toolkit skill for particle physics data analysis with modern Python tools

SciPy scientific computing skill for numerical optimization, integration, and signal processing in physics

Parameterized quantum circuit (ansatz) design skill for variational algorithms

Analysis skill for detecting and mitigating barren plateaus in variational circuits

Amazon Braket integration skill for multi-vendor quantum hardware access and hybrid workflows

Google Cirq integration skill for quantum circuit design and execution on Google quantum processors