a5c-ai/babysitter - الصفحة ٢٥

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.

لغة النص الأصلي: الإنجليزية

thermal-analysis

Electronic system thermal modeling and analysis skill for junction temperature calculation, heat sink selection, thermal resistance networks, and safe operating area verification.

لغة النص الأصلي: الإنجليزية

air-pollution-control

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

لغة النص الأصلي: الإنجليزية

membrane-system-design

Expert skill for membrane filtration and separation system design including process selection, flux calculations, fouling analysis, and concentrate management.

لغة النص الأصلي: الإنجليزية

stormwater-management

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

لغة النص الأصلي: الإنجليزية

wastewater-optimization

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

لغة النص الأصلي: الإنجليزية

a3-problem-solver

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

لغة النص الأصلي: الإنجليزية

anthropometric-analyzer

Anthropometric data analysis skill for workstation design and accommodation.

لغة النص الأصلي: الإنجليزية

benchmarking-analyst

Benchmarking analysis skill for performance comparison and best practice identification.

لغة النص الأصلي: الإنجليزية

capacity-planner

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

لغة النص الأصلي: الإنجليزية

control-chart-analyzer

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

لغة النص الأصلي: الإنجليزية

decision-tree-analyzer

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

لغة النص الأصلي: الإنجليزية

demand-forecaster

Demand forecasting skill with statistical and machine learning methods.

لغة النص الأصلي: الإنجليزية

discrete-event-simulator

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

لغة النص الأصلي: الإنجليزية

distribution-fitter

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

لغة النص الأصلي: الإنجليزية

doe-designer

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

لغة النص الأصلي: الإنجليزية

facility-layout-optimizer

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

لغة النص الأصلي: الإنجليزية

five-s-auditor

5S workplace organization audit skill with scoring, photo documentation, and sustainability tracking.

لغة النص الأصلي: الإنجليزية

fmea-facilitator

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

لغة النص الأصلي: الإنجليزية

gage-rr-analyzer

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

لغة النص الأصلي: الإنجليزية

integer-program-solver

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

لغة النص الأصلي: الإنجليزية

inventory-optimizer

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

لغة النص الأصلي: الإنجليزية

kaizen-event-facilitator

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

لغة النص الأصلي: الإنجليزية

line-balancer

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

لغة النص الأصلي: الإنجليزية

linear-program-modeler

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

لغة النص الأصلي: الإنجليزية

mcda-analyzer

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

لغة النص الأصلي: الإنجليزية

network-optimizer

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

لغة النص الأصلي: الإنجليزية

niosh-lifting-calculator

NIOSH Lifting Equation calculator for manual material handling risk assessment.

لغة النص الأصلي: الإنجليزية

oee-calculator

Overall Equipment Effectiveness calculation skill with loss categorization and improvement analysis.

لغة النص الأصلي: الإنجليزية

operational-dashboard-generator

Operational dashboard generation skill for KPI visualization and real-time monitoring.

لغة النص الأصلي: الإنجليزية

pareto-analyzer

Pareto analysis skill for identifying vital few causes and prioritizing improvement efforts.

لغة النص الأصلي: الإنجليزية