ReddRadar
Topic: agent-orchestration
2,114 skills in this topic.
-
prosthetics-design-optimizer
Prosthetics and orthotics design optimization skill integrating biomechanical requirements with manufacturing constraints
a5c-ai/babysitter 514
-
requirements-traceability-manager
Design control traceability skill for managing user needs, design inputs, design outputs, and verification/validation linkages
a5c-ai/babysitter 514
-
scaffold-design-optimizer
Tissue engineering scaffold design optimization skill for pore size, porosity, and mechanical properties
a5c-ai/babysitter 514
-
software-vv-test-generator
Medical device software verification and validation test case generation skill
a5c-ai/babysitter 514
-
sterilization-validation-planner
Sterilization process validation planning skill for EO, radiation, and steam sterilization
a5c-ai/babysitter 514
-
udi-labeling-generator
Unique Device Identification (UDI) and labeling compliance skill for generating compliant labels and device identifiers
a5c-ai/babysitter 514
-
use-related-risk-analyzer
Use-related risk analysis skill for identifying hazards associated with user interaction per IEC 62366-1
a5c-ai/babysitter 514
-
abstract-domain-library
Library of abstract domains for static analysis and abstract interpretation
a5c-ai/babysitter 514
-
amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
a5c-ai/babysitter 514
-
approximation-ratio-calculator
Analyze and prove approximation ratios for optimization algorithms
a5c-ai/babysitter 514
-
asymptotic-notation-calculator
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
a5c-ai/babysitter 514
-
benchmark-suite-manager
Manage benchmarks for algorithm engineering experiments and evaluations
a5c-ai/babysitter 514
-
complexity-class-oracle
Classify problems into complexity classes with supporting evidence and proof strategies
a5c-ai/babysitter 514
-
consensus-protocol-library
Reference implementations and specifications of consensus protocols
a5c-ai/babysitter 514
-
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
a5c-ai/babysitter 514
-
data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
a5c-ai/babysitter 514
-
dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
a5c-ai/babysitter 514
-
latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
a5c-ai/babysitter 514
-
linearizability-checker
Check linearizability of concurrent data structure implementations
a5c-ai/babysitter 514
-
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai/babysitter 514
-
memory-model-analyzer
Analyze programs under various memory models for concurrent correctness
a5c-ai/babysitter 514
-
model-checker-interface
Interface with multiple model checking tools for formal verification
a5c-ai/babysitter 514
-
operational-semantics-builder
Define and test operational semantics specifications for programming languages
a5c-ai/babysitter 514
-
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai/babysitter 514