Skill for spacecraft thermal control system design and analysis
Skills(SKILL.md)は、AIエージェント(Claude Code、Cursor、Codexなど)に特定の能力を追加するための設定ファイルです。
詳しく見る →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
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
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
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
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 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
Skill for manufacturing process planning including operation sequencing and work instructions
Skill for systematic requirements capture, decomposition, and traceability
Structured skill for conducting engineering trade studies and concept selection
Cleanroom operations skill for managing protocols, contamination control, and process flows
COMSOL Multiphysics skill for continuum-scale nanomaterial and device modeling
Wettability analysis skill for surface energy characterization and hydrophobicity/hydrophilicity assessment
Surface chemistry skill for managing ligand exchange reactions, bioconjugation protocols, and functional group quantification
COMSOL finite element skill for multiphysics simulations including electromagnetics, heat transfer, and fluid dynamics
Delphes fast detector simulation skill for phenomenological studies and BSM searches
EPICS control system skill for accelerator and beamline instrument control and monitoring
Geant4 detector simulation skill for particle transport, detector geometry, and physics process modeling
LabVIEW instrument control skill for DAQ systems, hardware integration, and real-time data acquisition