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

permit-application-generator

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

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

pile-capacity-analyzer

Deep foundation capacity analysis skill for driven piles and drilled shafts

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

quantity-takeoff-calculator

Construction quantity takeoff skill for concrete, steel, earthwork, and materials

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

revit-api-interface

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

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

section-property-calculator

Cross-sectional property calculation skill for structural sections including standard and custom shapes

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

seismic-hazard-analyzer

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

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

settlement-calculator

Foundation settlement calculation skill for immediate, consolidation, and secondary compression

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

signal-timing-optimizer

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

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

slope-stability-analyzer

Slope stability analysis skill using limit equilibrium methods for static and seismic conditions

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

soil-classification-tool

Soil classification skill using USCS and AASHTO systems with SPT correlations

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

steel-connection-designer

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

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

submittal-tracker

Construction submittal tracking skill for document management and review workflow

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

survey-data-processor

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

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

traffic-simulation-engine

Traffic simulation skill for microsimulation, level of service, and signal optimization

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

water-distribution-modeler

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

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

wind-load-calculator

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

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

abstract-domain-library

Library of abstract domains for static analysis and abstract interpretation

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

amortized-analysis-assistant

Apply amortized analysis techniques including aggregate, accounting, and potential methods

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

approximation-ratio-calculator

Analyze and prove approximation ratios for optimization algorithms

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

asymptotic-notation-calculator

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

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

benchmark-suite-manager

Manage benchmarks for algorithm engineering experiments and evaluations

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

complexity-class-oracle

Classify problems into complexity classes with supporting evidence and proof strategies

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

consensus-protocol-library

Reference implementations and specifications of consensus protocols

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

counterexample-guided-refinement

Implement CEGAR for synthesis and verification workflows

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

data-flow-analysis-framework

Design and implement data-flow analyses for compiler optimization

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

dsl-compiler-generator

Generate compilers and interpreters for domain-specific languages

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

latex-proof-formatter

Format proofs and algorithms in publication-quality LaTeX

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

linearizability-checker

Check linearizability of concurrent data structure implementations

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

loop-invariant-generator

Automatically generate and verify loop invariants for algorithm correctness proofs

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

memory-model-analyzer

Analyze programs under various memory models for concurrent correctness

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

model-checker-interface

Interface with multiple model checking tools for formal verification

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

operational-semantics-builder

Define and test operational semantics specifications for programming languages

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

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

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