Skill for structured safety assessment following ARP4761 guidelines
Skills(SKILL.md)は、AIエージェント(Claude Code、Cursor、Codexなど)に特定の能力を追加するための設定ファイルです。
詳しく見る →Skill for structured safety assessment following ARP4761 guidelines
Skill for spacecraft thermal control system design and analysis
Automotive requirements management and traceability expertise
Vehicle and powertrain thermal management system design
ACMG/AMP variant classification skill for systematic pathogenicity assessment
BLAST skill for sequence similarity searching, homology detection, and database querying
ClinVar database query skill for clinical variant interpretation and pathogenicity lookup
Phylogenetic analysis skill for constructing evolutionary trees and assessing relationships
Singularity container management skill for HPC-compatible containerized execution
Adverse event monitoring and reporting skill for MDR/MEDWATCH compliance
Bioreactor culture protocol development skill for tissue construct maturation
Medical device cybersecurity risk assessment skill per FDA premarket and postmarket guidance
Automated 510(k) premarket notification preparation for generating submission packages, predicate device comparisons, and substantial equivalence arguments
Medical device software lifecycle management skill implementing IEC 62304 requirements
Sterile barrier system validation planning skill per ISO 11607
Process Failure Mode and Effects Analysis (PFMEA) skill for manufacturing risk assessment
Design control traceability skill for managing user needs, design inputs, design outputs, and verification/validation linkages
Sterilization process validation planning skill for EO, radiation, and steam sterilization
Consequence analysis skill for dispersion modeling, fire/explosion analysis, and effect zone determination
Materials selection skill for corrosion resistance based on process conditions and industry standards
Crystallization process design skill for nucleation control, crystal size distribution, and equipment selection
HAZOP study facilitation skill for systematic deviation analysis and safeguard identification
Reaction kinetics modeling skill for parameter estimation, mechanism validation, and rate equation development
Life Cycle Assessment skill for environmental impact evaluation and sustainability analysis
Reactive chemical hazards analysis skill for thermal stability, incompatibility, and runaway reaction assessment
Separation train synthesis skill for optimal sequencing and technology selection
Automated thermodynamic property method selection based on component characteristics and operating conditions
ADA accessibility compliance checking skill for routes, slopes, and pedestrian facilities
BIM clash detection skill for identifying and managing coordination conflicts between disciplines
Building code compliance checking skill for IBC occupancy, construction type, and area requirements
Construction cost database interface skill for unit costs, productivity, and regional adjustments
GIS spatial analysis skill for watershed delineation, floodplain mapping, and site analysis
Hydraulic analysis skill for open channel flow, culverts, and pipe networks
Permit application preparation skill for building, environmental, and DOT permits
Library of abstract domains for static analysis and abstract interpretation
Analyze and prove approximation ratios for optimization algorithms
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
Classify problems into complexity classes with supporting evidence and proof strategies
Implement CEGAR for synthesis and verification workflows
Verify correctness of compiler optimizations using formal methods
Construct and verify polynomial-time reductions between computational problems
Prove termination of algorithms and programs using ranking functions and well-founded orderings
Skill for integrated stormwater management and green infrastructure design with SWMM modeling, hydrologic analysis, BMP sizing, and MS4 permit compliance.
Solve convex optimization problems efficiently
Mixed-integer linear and nonlinear programming
Solve general nonlinear optimization problems
Skill for additive manufacturing process selection, design optimization, and build preparation
Deep integration with computational fluid dynamics tools for internal and external flow analysis
Expert skill for CNC programming and toolpath optimization using CAM software
Skill for piping system stress analysis per ASME B31