Revit API interface skill for element extraction, creation, and automation

Seismic hazard analysis skill for site classification, spectral acceleration, and design response spectrum generation

Traffic signal timing optimization skill for cycle length, phasing, and coordination

Steel connection design skill for bolted and welded connections per AISC specifications

Construction submittal tracking skill for document management and review workflow

Survey data processing skill for point clouds, DTM generation, and coordinate transformation

Water distribution system modeling skill for pipe networks, pump analysis, and fire flow

Wind load calculation skill per ASCE 7 for MWFRS and components and cladding

Manage benchmarks for algorithm engineering experiments and evaluations

Reference implementations and specifications of consensus protocols

Design and implement data-flow analyses for compiler optimization

Generate compilers and interpreters for domain-specific languages

Format proofs and algorithms in publication-quality LaTeX

Check linearizability of concurrent data structure implementations

Automatically generate and verify loop invariants for algorithm correctness proofs

Analyze programs under various memory models for concurrent correctness

Interface with multiple model checking tools for formal verification

Define and test operational semantics specifications for programming languages

Assist in constructing type soundness proofs using progress and preservation theorems

SSA-form transformations and optimizations for compiler development

Define specifications for program synthesis using various paradigms

Translate between temporal logic formalisms and generate property specifications

Generate and analyze TLA+ specifications for distributed systems verification

Implement and test type inference algorithms including Algorithm W and constraint-based inference

Generate and format typing rules in inference rule notation for type system design

Component and system reliability prediction and analysis skill with MTBF/MTTF calculations, failure rate databases, FMEA/FMECA support, fault tree analysis, and accelerated life testing data analysis.

Automated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.

Specialized skill for air pollution control equipment selection and design including scrubbers, baghouses, ESPs, oxidizers, and BACT/LAER determination.

Specialized skill for biological and physical-chemical wastewater treatment process optimization with activated sludge modeling, nutrient removal, aeration efficiency, and energy minimization.

A3 problem-solving skill for structured problem analysis and countermeasure development.

Anthropometric data analysis skill for workstation design and accommodation.

Benchmarking analysis skill for performance comparison and best practice identification.

Capacity requirements planning skill with demand-capacity analysis and strategic capacity decisions.

Statistical process control chart creation and analysis skill with control limit calculation and special cause detection.

Decision tree analysis skill with expected value, risk analysis, and utility theory.

Demand forecasting skill with statistical and machine learning methods.

Discrete event simulation skill for modeling and analyzing complex systems with stochastic processes.

Statistical distribution fitting skill for input modeling in simulation and analysis.

Design of Experiments planning and analysis skill for factorial and response surface experiments.

Facility layout optimization skill for material flow minimization and space utilization.

Failure Mode and Effects Analysis facilitation skill for risk identification and prioritization.

Measurement System Analysis skill for Gage R&R studies with variance component analysis.

Integer and mixed-integer programming skill for combinatorial optimization problems with discrete decision variables.

Inventory optimization skill for safety stock, reorder point, and order quantity calculations.

Kaizen event facilitation skill for rapid improvement workshops and action planning.

Assembly line balancing skill for workstation design and cycle time optimization.

Mathematical programming skill for formulating and solving linear programming models for resource allocation, production planning, and capacity optimization.

Multi-criteria decision analysis skill with AHP, TOPSIS, and weighted scoring methods.

Network optimization skill for transportation, assignment, and flow problems on graph structures.

NIOSH Lifting Equation calculator for manual material handling risk assessment.