crystallizer-designer
Crystallization process design skill for nucleation control, crystal size distribution, and equipment selection
distillation-designer
Distillation column design skill for tray/packing selection, hydraulic analysis, and column optimization
energy-auditor
Process energy audit skill for consumption analysis, benchmarking, and efficiency improvement identification
equipment-sizing-calculator
Process equipment sizing skill using established engineering correlations and standards
green-chemistry-metrics
Green chemistry metrics calculation skill for atom economy, E-factor, and process mass intensity
hazop-facilitator
HAZOP study facilitation skill for systematic deviation analysis and safeguard identification
hysys-dynamic-simulator
Aspen HYSYS integration skill for dynamic simulation, pressure-flow networks, and process dynamics
kinetic-modeler
Reaction kinetics modeling skill for parameter estimation, mechanism validation, and rate equation development
lca-analyzer
Life Cycle Assessment skill for environmental impact evaluation and sustainability analysis
material-balance-calculator
Material and energy balance calculation skill for process design and troubleshooting
membrane-system-designer
Membrane separation system design skill for RO, UF, NF, and gas separation applications
mpc-configurator
Model Predictive Control configuration skill for MPC model identification, tuning, and implementation
performance-test-designer
Performance test design skill for test planning, data collection, and acceptance criteria verification
pfd-pid-generator
Process flow diagram and P&ID generation skill with standards compliance and symbol libraries
pid-tuner
PID controller tuning skill for loop optimization using various tuning methods and performance criteria
pinch-analyzer
Heat integration analysis skill using pinch technology for energy targeting and heat exchanger network design
process-economics-estimator
Process economics estimation skill for capital costs, operating costs, and profitability analysis
pssr-checklist-generator
Pre-Startup Safety Review checklist generation skill for startup readiness verification
reactive-hazards-analyzer
Reactive chemical hazards analysis skill for thermal stability, incompatibility, and runaway reaction assessment
reactor-designer
Chemical reactor design skill for sizing, configuration selection, and performance optimization
relief-system-designer
Pressure relief system design skill for PSV sizing, flare header analysis, and overpressure protection
scale-up-analyzer
Process scale-up analysis skill for dimensional analysis, similarity criteria, and pilot-to-production transitions
separation-sequence-synthesizer
Separation train synthesis skill for optimal sequencing and technology selection
sil-calculator
Safety Integrity Level calculation skill for SIF design and verification per IEC 61511
thermodynamic-model-selector
Automated thermodynamic property method selection based on component characteristics and operating conditions
waste-minimization-analyzer
Waste minimization analysis skill for source reduction, recycling, and treatment optimization
ada-compliance-checker
ADA accessibility compliance checking skill for routes, slopes, and pedestrian facilities
bearing-capacity-calculator
Soil bearing capacity calculation skill using multiple methods for various foundation types
bim-clash-detection
BIM clash detection skill for identifying and managing coordination conflicts between disciplines
building-code-checker
Building code compliance checking skill for IBC occupancy, construction type, and area requirements
civil3d-surface-analyzer
Civil 3D surface analysis skill for terrain modeling, earthwork, and drainage analysis
concrete-design-calculator
Reinforced concrete design skill for flexure, shear, and serviceability calculations per ACI 318
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
recurrence-solver
Solve recurrence relations using multiple methods including Master Theorem and generating functions
reduction-builder
Construct and verify polynomial-time reductions between computational problems
related-work-analyzer
Analyze and organize related work for theoretical CS papers
smt-solver-interface
Interface with SMT solvers for verification and synthesis
soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
synthesis-specification-language
Define specifications for program synthesis using various paradigms
temporal-logic-translator
Translate between temporal logic formalisms and generate property specifications
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
theorem-prover-interface
Interface with interactive theorem provers for mechanized verification
tla-plus-generator
Generate and analyze TLA+ specifications for distributed systems verification
turing-machine-simulator
Simulate Turing machines for computability analysis and algorithm demonstration
type-inference-engine
Implement and test type inference algorithms including Algorithm W and constraint-based inference
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
reliability-analysis
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.
test-automation
Automated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.
Page 743 of 1486 · 74269 results
