load-combination-generator
Load combination generation skill per ASCE 7 and AASHTO for ASD and LRFD design methods
pavement-design-calculator
Pavement design skill for flexible and rigid pavements using AASHTO and MEPDG methods
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
operational-semantics-builder
Define and test operational semantics specifications for programming languages
model-checker-interface
Interface with multiple model checking tools for formal verification
memory-model-analyzer
Analyze programs under various memory models for concurrent correctness
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
linearizability-checker
Check linearizability of concurrent data structure implementations
latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
consensus-protocol-library
Reference implementations and specifications of consensus protocols
complexity-class-oracle
Classify problems into complexity classes with supporting evidence and proof strategies
benchmark-suite-manager
Manage benchmarks for algorithm engineering experiments and evaluations
asymptotic-notation-calculator
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
approximation-ratio-calculator
Analyze and prove approximation ratios for optimization algorithms
amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
abstract-domain-library
Library of abstract domains for static analysis and abstract interpretation
wind-load-calculator
Wind load calculation skill per ASCE 7 for MWFRS and components and cladding
water-distribution-modeler
Water distribution system modeling skill for pipe networks, pump analysis, and fire flow
traffic-simulation-engine
Traffic simulation skill for microsimulation, level of service, and signal optimization
survey-data-processor
Survey data processing skill for point clouds, DTM generation, and coordinate transformation
submittal-tracker
Construction submittal tracking skill for document management and review workflow
steel-connection-designer
Steel connection design skill for bolted and welded connections per AISC specifications
soil-classification-tool
Soil classification skill using USCS and AASHTO systems with SPT correlations
slope-stability-analyzer
Slope stability analysis skill using limit equilibrium methods for static and seismic conditions
category-strategy-builder
Category management strategy development using Kraljic Matrix and portfolio optimization
capacity-constraint-analyzer
Production capacity analysis skill using Theory of Constraints principles
zoominfo-enrichment
B2B intelligence and contact data enrichment via ZoomInfo
xactly-compensation
Xactly incentive compensation management for sales performance
varicent-icm
Varicent incentive compensation management platform
totango-health
Totango customer health and engagement monitoring
tableau-analytics
Tableau dashboard and visualization integration for sales analytics
seismic-enablement
Seismic sales enablement platform for content and learning
salesloft-cadences
SalesLoft cadence and sales engagement integration
salesforce-connector
Bi-directional Salesforce CRM integration for sales data management
ringlead-dedup
RingLead data quality and deduplication platform
pipedrive-connector
Pipedrive CRM integration optimized for SMB sales teams
market-research-platform
Integration with market research platforms and survey tools for primary and secondary research
journey-mapping
Customer journey visualization, analysis, and experience mapping tools
email-marketing
Email marketing platform operations and deliverability management
customer-data-platform
CDP operations for unified customer data management and audience activation
creative-testing
Creative asset testing and optimization tools
Page 745 of 1486 · 74267 results
