alibi-explainer
Alibi explainability skill for counterfactual explanations, anchors, and trust scores.
Stream Processing Windowing Designer
Designs optimal windowing strategies for stream processing
sql-query-optimizer
Analyzes and optimizes SQL queries across different data warehouse platforms (Snowflake, BigQuery, Redshift, Databricks) with platform-specific recommendations.
Schema Evolution Manager
Manages schema evolution and compatibility across data systems
SCD Implementation Generator
Generates Slowly Changing Dimension implementations across platforms
OBT Design Optimizer
Designs and optimizes One Big Table (OBT) patterns
Kafka Topic Designer
Designs and optimizes Apache Kafka topics and configurations
Incremental Model Strategy Selector
Selects and configures optimal incremental model strategies
Great Expectations Generator
Generates Great Expectations suites from data profiles and business rules
niosh-lifting-calculator
NIOSH Lifting Equation calculator for manual material handling risk assessment.
network-optimizer
Network optimization skill for transportation, assignment, and flow problems on graph structures.
mcda-analyzer
Multi-criteria decision analysis skill with AHP, TOPSIS, and weighted scoring methods.
linear-program-modeler
Mathematical programming skill for formulating and solving linear programming models for resource allocation, production planning, and capacity optimization.
line-balancer
Assembly line balancing skill for workstation design and cycle time optimization.
integer-program-solver
Integer and mixed-integer programming skill for combinatorial optimization problems with discrete decision variables.
facility-layout-optimizer
Facility layout optimization skill for material flow minimization and space utilization.
doe-designer
Design of Experiments planning and analysis skill for factorial and response surface experiments.
distribution-fitter
Statistical distribution fitting skill for input modeling in simulation and analysis.
discrete-event-simulator
Discrete event simulation skill for modeling and analyzing complex systems with stochastic processes.
decision-tree-analyzer
Decision tree analysis skill with expected value, risk analysis, and utility theory.
anthropometric-analyzer
Anthropometric data analysis skill for workstation design and accommodation.
wastewater-optimization
Specialized skill for biological and physical-chemical wastewater treatment process optimization with activated sludge modeling, nutrient removal, aeration efficiency, and energy minimization.
stormwater-management
Skill for integrated stormwater management and green infrastructure design with SWMM modeling, hydrologic analysis, BMP sizing, and MS4 permit compliance.
membrane-system-design
Expert skill for membrane filtration and separation system design including process selection, flux calculations, fouling analysis, and concentrate management.
air-pollution-control
Specialized skill for air pollution control equipment selection and design including scrubbers, baghouses, ESPs, oxidizers, and BACT/LAER determination.
thermal-analysis
Electronic system thermal modeling and analysis skill for junction temperature calculation, heat sink selection, thermal resistance networks, and safe operating area verification.
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.
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.
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
type-inference-engine
Implement and test type inference algorithms including Algorithm W and constraint-based inference
turing-machine-simulator
Simulate Turing machines for computability analysis and algorithm demonstration
tla-plus-generator
Generate and analyze TLA+ specifications for distributed systems verification
theorem-prover-interface
Interface with interactive theorem provers for mechanized verification
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
temporal-logic-translator
Translate between temporal logic formalisms and generate property specifications
synthesis-specification-language
Define specifications for program synthesis using various paradigms
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems
smt-solver-interface
Interface with SMT solvers for verification and synthesis
related-work-analyzer
Analyze and organize related work for theoretical CS papers
reduction-builder
Construct and verify polynomial-time reductions between computational problems
recurrence-solver
Solve recurrence relations using multiple methods including Master Theorem and generating functions
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
concrete-design-calculator
Reinforced concrete design skill for flexure, shear, and serviceability calculations per ACI 318
civil3d-surface-analyzer
Civil 3D surface analysis skill for terrain modeling, earthwork, and drainage analysis
building-code-checker
Building code compliance checking skill for IBC occupancy, construction type, and area requirements
bim-clash-detection
BIM clash detection skill for identifying and managing coordination conflicts between disciplines
bearing-capacity-calculator
Soil bearing capacity calculation skill using multiple methods for various foundation types
ada-compliance-checker
ADA accessibility compliance checking skill for routes, slopes, and pedestrian facilities
Page 737 of 1486 · 74269 results
