All authors
Claude Skills by a5c-ai
github.com/a5c-ai2,120 skills40 installs3,476 views
- Model Checker InterfaceInterface with multiple model checking tools for formal verificationVotes: 0GitHub stars: 1,760
- Operational Semantics BuilderDefine and test operational semantics specifications for programming languagesVotes: 0GitHub stars: 1,760
- Optimization Correctness VerifierVerify correctness of compiler optimizations using formal methodsVotes: 0GitHub stars: 1,760
- Probabilistic Analysis ToolkitAnalyze randomized algorithms with probability theory tools and concentration inequalitiesVotes: 0GitHub stars: 1,760
- Recurrence SolverSolve recurrence relations using multiple methods including Master Theorem and generating functionsVotes: 0GitHub stars: 1,760
- Reduction BuilderConstruct and verify polynomial-time reductions between computational problemsVotes: 0GitHub stars: 1,760
- Related Work AnalyzerAnalyze and organize related work for theoretical CS papersVotes: 0GitHub stars: 1,760
- Smt Solver InterfaceInterface with SMT solvers for verification and synthesisVotes: 0GitHub stars: 1,760
- Soundness Proof AssistantAssist in constructing type soundness proofs using progress and preservation theoremsVotes: 0GitHub stars: 1,760
- Ssa Transformation LibrarySSA-form transformations and optimizations for compiler developmentVotes: 0GitHub stars: 1,760
- Synthesis Specification LanguageDefine specifications for program synthesis using various paradigmsVotes: 0GitHub stars: 1,760
- Temporal Logic TranslatorTranslate between temporal logic formalisms and generate property specificationsVotes: 0GitHub stars: 1,760
- Termination AnalyzerProve termination of algorithms and programs using ranking functions and well-founded orderingsVotes: 0GitHub stars: 1,760
- Theorem Prover InterfaceInterface with interactive theorem provers for mechanized verificationVotes: 0GitHub stars: 1,760
- Tla Plus GeneratorGenerate and analyze TLA+ specifications for distributed systems verificationVotes: 0GitHub stars: 1,760
- Turing Machine SimulatorSimulate Turing machines for computability analysis and algorithm demonstrationVotes: 0GitHub stars: 1,760
- Type Inference EngineImplement and test type inference algorithms including Algorithm W and constraint-based inferenceVotes: 0GitHub stars: 1,760
- Typing Rule GeneratorGenerate and format typing rules in inference rule notation for type system designVotes: 0GitHub stars: 1,760
- Reliability AnalysisComponent 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.Votes: 0GitHub stars: 1,760
- Test AutomationAutomated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.Votes: 0GitHub stars: 1,760
- Thermal AnalysisElectronic system thermal modeling and analysis skill for junction temperature calculation, heat sink selection, thermal resistance networks, and safe operating area verification.Votes: 0GitHub stars: 1,760
- Air Pollution ControlSpecialized skill for air pollution control equipment selection and design including scrubbers, baghouses, ESPs, oxidizers, and BACT/LAER determination.Votes: 0GitHub stars: 1,760
- Membrane System DesignExpert skill for membrane filtration and separation system design including process selection, flux calculations, fouling analysis, and concentrate management.Votes: 0GitHub stars: 1,760
- Stormwater ManagementSkill for integrated stormwater management and green infrastructure design with SWMM modeling, hydrologic analysis, BMP sizing, and MS4 permit compliance.Votes: 0GitHub stars: 1,760
- Wastewater OptimizationSpecialized skill for biological and physical-chemical wastewater treatment process optimization with activated sludge modeling, nutrient removal, aeration efficiency, and energy minimization.Votes: 0GitHub stars: 1,760
- A3 Problem SolverA3 problem-solving skill for structured problem analysis and countermeasure development.Votes: 0GitHub stars: 1,760
- Anthropometric AnalyzerAnthropometric data analysis skill for workstation design and accommodation.Votes: 0GitHub stars: 1,760
- Benchmarking AnalystBenchmarking analysis skill for performance comparison and best practice identification.Votes: 0GitHub stars: 1,760
- Capacity PlannerCapacity requirements planning skill with demand-capacity analysis and strategic capacity decisions.Votes: 0GitHub stars: 1,760
- Control Chart AnalyzerStatistical process control chart creation and analysis skill with control limit calculation and special cause detection.Votes: 0GitHub stars: 1,760
- Decision Tree AnalyzerDecision tree analysis skill with expected value, risk analysis, and utility theory.Votes: 0GitHub stars: 1,760
- Demand ForecasterDemand forecasting skill with statistical and machine learning methods.Votes: 0GitHub stars: 1,760
- Discrete Event SimulatorDiscrete event simulation skill for modeling and analyzing complex systems with stochastic processes.Votes: 0GitHub stars: 1,760
- Distribution FitterStatistical distribution fitting skill for input modeling in simulation and analysis.Votes: 0GitHub stars: 1,760
- Doe DesignerDesign of Experiments planning and analysis skill for factorial and response surface experiments.Votes: 0GitHub stars: 1,760
- Facility Layout OptimizerFacility layout optimization skill for material flow minimization and space utilization.Votes: 0GitHub stars: 1,760
- Five S Auditor5S workplace organization audit skill with scoring, photo documentation, and sustainability tracking.Votes: 0GitHub stars: 1,760
- Fmea FacilitatorFailure Mode and Effects Analysis facilitation skill for risk identification and prioritization.Votes: 0GitHub stars: 1,760
- Gage Rr AnalyzerMeasurement System Analysis skill for Gage R&R studies with variance component analysis.Votes: 0GitHub stars: 1,760
- Integer Program SolverInteger and mixed-integer programming skill for combinatorial optimization problems with discrete decision variables.Votes: 0GitHub stars: 1,760
- Inventory OptimizerInventory optimization skill for safety stock, reorder point, and order quantity calculations.Votes: 0GitHub stars: 1,760
- Kaizen Event FacilitatorKaizen event facilitation skill for rapid improvement workshops and action planning.Votes: 0GitHub stars: 1,760
- Line BalancerAssembly line balancing skill for workstation design and cycle time optimization.Votes: 0GitHub stars: 1,760
- Linear Program ModelerMathematical programming skill for formulating and solving linear programming models for resource allocation, production planning, and capacity optimization.Votes: 0GitHub stars: 1,760
- Mcda AnalyzerMulti-criteria decision analysis skill with AHP, TOPSIS, and weighted scoring methods.Votes: 0GitHub stars: 1,760
- Network OptimizerNetwork optimization skill for transportation, assignment, and flow problems on graph structures.Votes: 0GitHub stars: 1,760
- Niosh Lifting CalculatorNIOSH Lifting Equation calculator for manual material handling risk assessment.Votes: 0GitHub stars: 1,760
- Oee CalculatorOverall Equipment Effectiveness calculation skill with loss categorization and improvement analysis.Votes: 0GitHub stars: 1,760
- Operational Dashboard GeneratorOperational dashboard generation skill for KPI visualization and real-time monitoring.Votes: 0GitHub stars: 1,760
- Pareto AnalyzerPareto analysis skill for identifying vital few causes and prioritizing improvement efforts.Votes: 0GitHub stars: 1,760