All authors

Claude Skills by a5c-ai
github.com/a5c-ai2,120 skills40 installs3,476 views
- Bearing Capacity CalculatorSoil bearing capacity calculation skill using multiple methods for various foundation typesVotes: 0GitHub stars: 1,760
- Bim Clash DetectionBIM clash detection skill for identifying and managing coordination conflicts between disciplinesVotes: 0GitHub stars: 1,760
- Building Code CheckerBuilding code compliance checking skill for IBC occupancy, construction type, and area requirementsVotes: 0GitHub stars: 1,760
- Civil3d Surface AnalyzerCivil 3D surface analysis skill for terrain modeling, earthwork, and drainage analysisVotes: 0GitHub stars: 1,760
- Concrete Design CalculatorReinforced concrete design skill for flexure, shear, and serviceability calculations per ACI 318Votes: 0GitHub stars: 1,760
- Cost Database InterfaceConstruction cost database interface skill for unit costs, productivity, and regional adjustmentsVotes: 0GitHub stars: 1,760
- Cpm Schedule GeneratorCritical Path Method scheduling skill for construction schedule development and analysisVotes: 0GitHub stars: 1,760
- Csi Specification WriterCSI MasterFormat specification writing skill for construction document preparationVotes: 0GitHub stars: 1,760
- Detention Pond DesignerDetention/retention pond design skill for storage, outlet structures, and emergency spillwaysVotes: 0GitHub stars: 1,760
- Earth Pressure CalculatorEarth pressure calculation skill for retaining structures using classical and seismic methodsVotes: 0GitHub stars: 1,760
- Engineering Report GeneratorEngineering report generation skill for standard technical reports and calculation sheetsVotes: 0GitHub stars: 1,760
- Environmental Impact AnalyzerEnvironmental impact assessment skill for NEPA, wetlands, and endangered species screeningVotes: 0GitHub stars: 1,760
- Fea Structural EngineFinite Element Analysis skill for linear and nonlinear structural analysis, modal analysis, and load combination processingVotes: 0GitHub stars: 1,760
- Gis Spatial AnalyzerGIS spatial analysis skill for watershed delineation, floodplain mapping, and site analysisVotes: 0GitHub stars: 1,760
- Highway Alignment DesignerHighway alignment design skill for horizontal and vertical geometry per AASHTO standardsVotes: 0GitHub stars: 1,760
- Hydraulic Analysis EngineHydraulic analysis skill for open channel flow, culverts, and pipe networksVotes: 0GitHub stars: 1,760
- Hydrologic Modeling EngineHydrologic modeling skill for rainfall-runoff analysis, flood frequency, and watershed analysisVotes: 0GitHub stars: 1,760
- Ifc Model AnalyzerIFC model analysis skill for validation, property extraction, and model comparisonVotes: 0GitHub stars: 1,760
- Load Combination GeneratorLoad combination generation skill per ASCE 7 and AASHTO for ASD and LRFD design methodsVotes: 0GitHub stars: 1,760
- Pavement Design CalculatorPavement design skill for flexible and rigid pavements using AASHTO and MEPDG methodsVotes: 0GitHub stars: 1,760
- Permit Application GeneratorPermit application preparation skill for building, environmental, and DOT permitsVotes: 0GitHub stars: 1,760
- Pile Capacity AnalyzerDeep foundation capacity analysis skill for driven piles and drilled shaftsVotes: 0GitHub stars: 1,760
- Quantity Takeoff CalculatorConstruction quantity takeoff skill for concrete, steel, earthwork, and materialsVotes: 0GitHub stars: 1,760
- Revit Api InterfaceRevit API interface skill for element extraction, creation, and automationVotes: 0GitHub stars: 1,760
- Section Property CalculatorCross-sectional property calculation skill for structural sections including standard and custom shapesVotes: 0GitHub stars: 1,760
- Seismic Hazard AnalyzerSeismic hazard analysis skill for site classification, spectral acceleration, and design response spectrum generationVotes: 0GitHub stars: 1,760
- Settlement CalculatorFoundation settlement calculation skill for immediate, consolidation, and secondary compressionVotes: 0GitHub stars: 1,760
- Signal Timing OptimizerTraffic signal timing optimization skill for cycle length, phasing, and coordinationVotes: 0GitHub stars: 1,760
- Slope Stability AnalyzerSlope stability analysis skill using limit equilibrium methods for static and seismic conditionsVotes: 0GitHub stars: 1,760
- Soil Classification ToolSoil classification skill using USCS and AASHTO systems with SPT correlationsVotes: 0GitHub stars: 1,760
- Steel Connection DesignerSteel connection design skill for bolted and welded connections per AISC specificationsVotes: 0GitHub stars: 1,760
- Submittal TrackerConstruction submittal tracking skill for document management and review workflowVotes: 0GitHub stars: 1,760
- Survey Data ProcessorSurvey data processing skill for point clouds, DTM generation, and coordinate transformationVotes: 0GitHub stars: 1,760
- Traffic Simulation EngineTraffic simulation skill for microsimulation, level of service, and signal optimizationVotes: 0GitHub stars: 1,760
- Water Distribution ModelerWater distribution system modeling skill for pipe networks, pump analysis, and fire flowVotes: 0GitHub stars: 1,760
- Wind Load CalculatorWind load calculation skill per ASCE 7 for MWFRS and components and claddingVotes: 0GitHub stars: 1,760
- Abstract Domain LibraryLibrary of abstract domains for static analysis and abstract interpretationVotes: 0GitHub stars: 1,760
- Amortized Analysis AssistantApply amortized analysis techniques including aggregate, accounting, and potential methodsVotes: 0GitHub stars: 1,760
- Approximation Ratio CalculatorAnalyze and prove approximation ratios for optimization algorithmsVotes: 0GitHub stars: 1,760
- Asymptotic Notation CalculatorAutomated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysisVotes: 0GitHub stars: 1,760
- Benchmark Suite ManagerManage benchmarks for algorithm engineering experiments and evaluationsVotes: 0GitHub stars: 1,760
- Complexity Class OracleClassify problems into complexity classes with supporting evidence and proof strategiesVotes: 0GitHub stars: 1,760
- Consensus Protocol LibraryReference implementations and specifications of consensus protocolsVotes: 0GitHub stars: 1,760
- Counterexample Guided RefinementImplement CEGAR for synthesis and verification workflowsVotes: 0GitHub stars: 1,760
- Data Flow Analysis FrameworkDesign and implement data-flow analyses for compiler optimizationVotes: 0GitHub stars: 1,760
- Dsl Compiler GeneratorGenerate compilers and interpreters for domain-specific languagesVotes: 0GitHub stars: 1,760
- Latex Proof FormatterFormat proofs and algorithms in publication-quality LaTeXVotes: 0GitHub stars: 1,760
- Linearizability CheckerCheck linearizability of concurrent data structure implementationsVotes: 0GitHub stars: 1,760
- Loop Invariant GeneratorAutomatically generate and verify loop invariants for algorithm correctness proofsVotes: 0GitHub stars: 1,760
- Memory Model AnalyzerAnalyze programs under various memory models for concurrent correctnessVotes: 0GitHub stars: 1,760