All authors
Claude Skills by a5c-ai
github.com/a5c-ai2,120 skills40 installs3,476 views
- Pdca TrackerPDCA cycle tracking skill for plan-do-check-act improvement management.Votes: 0GitHub stars: 1,760
- Process Capability CalculatorProcess capability analysis skill with Cp, Cpk, Pp, Ppk calculations and specification compliance assessment.Votes: 0GitHub stars: 1,760
- Process Mining AnalyzerProcess mining skill for event log analysis, process discovery, and conformance checking.Votes: 0GitHub stars: 1,760
- Production SchedulerProduction scheduling skill with sequencing rules, resource allocation, and schedule optimization.Votes: 0GitHub stars: 1,760
- Queuing AnalyzerQueuing theory analysis skill for analytical evaluation of waiting line systems.Votes: 0GitHub stars: 1,760
- Root Cause AnalyzerSystematic root cause analysis skill with multiple investigation methodologies.Votes: 0GitHub stars: 1,760
- Rula Reba AssessorRapid Upper Limb Assessment (RULA) and Rapid Entire Body Assessment (REBA) skill for posture evaluation.Votes: 0GitHub stars: 1,760
- Simulation Experiment DesignerSimulation experimental design skill for efficient scenario analysis and optimization.Votes: 0GitHub stars: 1,760
- Smed AnalyzerSingle Minute Exchange of Die analysis skill for changeover time reduction.Votes: 0GitHub stars: 1,760
- Standard Work DocumenterStandard work documentation skill for work instruction creation and maintenance.Votes: 0GitHub stars: 1,760
- Takt Time CalculatorTakt time and cycle time analysis skill for production line balancing and capacity planning.Votes: 0GitHub stars: 1,760
- Time Study AnalyzerTime study analysis skill with stopwatch methods, performance rating, and standard time calculation.Votes: 0GitHub stars: 1,760
- Value Stream MapperValue stream mapping skill for current state analysis, waste identification, and future state design.Votes: 0GitHub stars: 1,760
- Vehicle Routing SolverVehicle routing problem solver for logistics optimization with time windows, capacity constraints, and multiple depots.Votes: 0GitHub stars: 1,760
- Warehouse Slotting OptimizerWarehouse slotting and layout optimization skill for pick path minimization and space utilization.Votes: 0GitHub stars: 1,760
- Work Sampling AnalyzerWork sampling analysis skill for activity distribution and utilization studies.Votes: 0GitHub stars: 1,760
- Workstation Layout DesignerWorkstation and workspace layout design skill with ergonomic optimization.Votes: 0GitHub stars: 1,760
- Crystallography AnalysisAdvanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysisVotes: 0GitHub stars: 1,760
- Metallurgical AnalysisSpecialized skill for metallic materials analysis and metallography including grain size measurement, phase quantification, and inclusion ratingVotes: 0GitHub stars: 1,760
- Polymer CharacterizationSpecialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological propertiesVotes: 0GitHub stars: 1,760
- Surface AnalysisSkill for surface composition, chemical state, and topography analysis including XPS depth profiling, AFM imaging, and contact angle measurementsVotes: 0GitHub stars: 1,760
- Thermal AnalysisSkill for thermal characterization workflows including DSC, TGA, DTA, TMA, and DMA for phase transitions, decomposition, and viscoelastic property analysisVotes: 0GitHub stars: 1,760
- Adversarial Proof AuditAudit immutable mathematical artifacts through isolated evidence-focused review lensesVotes: 0GitHub stars: 1,760
- Arxiv Search InterfaceSearch and analyze mathematical literature on arXivVotes: 0GitHub stars: 1,760
- Benchmark Suite ManagerManage and execute mathematical benchmark suitesVotes: 0GitHub stars: 1,760
- Combinatorial EnumerationCombinatorial object generation and countingVotes: 0GitHub stars: 1,760
- Computational Environment ManagerManage reproducible computational environmentsVotes: 0GitHub stars: 1,760
- Convex Optimization SolverSolve convex optimization problems efficientlyVotes: 0GitHub stars: 1,760
- Coq Proof AssistantInterface with Coq proof assistant for formal verificationVotes: 0GitHub stars: 1,760
- Counterexample GeneratorAutomated search for counterexamples to mathematical conjecturesVotes: 0GitHub stars: 1,760
- Derivative Free OptimizationOptimization without gradient informationVotes: 0GitHub stars: 1,760
- Diagram GeneratorMathematical diagram and visualization generationVotes: 0GitHub stars: 1,760
- Floating Point AnalysisRigorous floating-point error analysisVotes: 0GitHub stars: 1,760
- Graph Algorithm LibraryComprehensive graph algorithms implementationVotes: 0GitHub stars: 1,760
- Interpolation ApproximationFunction interpolation and approximation methodsVotes: 0GitHub stars: 1,760
- Isabelle Hol InterfaceInterface with Isabelle/HOL for classical mathematics formalizationVotes: 0GitHub stars: 1,760
- Latex Math FormatterHigh-quality LaTeX mathematical typesettingVotes: 0GitHub stars: 1,760
- Lean Proof AssistantInterface with Lean 4 proof assistant for formal theorem verificationVotes: 0GitHub stars: 1,760
- Math Notation ValidatorValidate and standardize mathematical notationVotes: 0GitHub stars: 1,760
- Mathematica Wolfram InterfaceInterface with Mathematica/Wolfram Language for advanced symbolic computationVotes: 0GitHub stars: 1,760
- Mathematical Artifact ValidationRun fail-closed deterministic validation for mathematical and LaTeX artifactsVotes: 0GitHub stars: 1,760
- Mathscinet InterfaceInterface with MathSciNet for mathematical reviewsVotes: 0GitHub stars: 1,760
- Maxima Cas InterfaceOpen-source computer algebra system for symbolic computationVotes: 0GitHub stars: 1,760
- Mcmc DiagnosticsMCMC convergence diagnostics and analysisVotes: 0GitHub stars: 1,760
- Mixed Integer OptimizationMixed-integer linear and nonlinear programmingVotes: 0GitHub stars: 1,760
- Monte Carlo SimulationMonte Carlo methods for uncertainty quantificationVotes: 0GitHub stars: 1,760
- Multiple Testing CorrectionMultiple comparison correction methodsVotes: 0GitHub stars: 1,760
- Nonlinear Optimization SolverSolve general nonlinear optimization problemsVotes: 0GitHub stars: 1,760
- Numerical Linear Algebra ToolkitHigh-performance numerical linear algebra operationsVotes: 0GitHub stars: 1,760
- Ode Solver LibraryNumerical methods for ordinary differential equationsVotes: 0GitHub stars: 1,760