ReddRadar
Topic: agent-orchestration
2,114 skills in this topic.
-
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
a5c-ai/babysitter 514
-
recurrence-solver
Solve recurrence relations using multiple methods including Master Theorem and generating functions
a5c-ai/babysitter 514
-
reduction-builder
Construct and verify polynomial-time reductions between computational problems
a5c-ai/babysitter 514
-
related-work-analyzer
Analyze and organize related work for theoretical CS papers
a5c-ai/babysitter 514
-
smt-solver-interface
Interface with SMT solvers for verification and synthesis
a5c-ai/babysitter 514
-
soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems
a5c-ai/babysitter 514
-
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
a5c-ai/babysitter 514
-
synthesis-specification-language
Define specifications for program synthesis using various paradigms
a5c-ai/babysitter 514
-
temporal-logic-translator
Translate between temporal logic formalisms and generate property specifications
a5c-ai/babysitter 514
-
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
a5c-ai/babysitter 514
-
theorem-prover-interface
Interface with interactive theorem provers for mechanized verification
a5c-ai/babysitter 514
-
tla-plus-generator
Generate and analyze TLA+ specifications for distributed systems verification
a5c-ai/babysitter 514
-
turing-machine-simulator
Simulate Turing machines for computability analysis and algorithm demonstration
a5c-ai/babysitter 514
-
type-inference-engine
Implement and test type inference algorithms including Algorithm W and constraint-based inference
a5c-ai/babysitter 514
-
typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
a5c-ai/babysitter 514
-
crystallography-analysis
Advanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysis
a5c-ai/babysitter 514
-
metallurgical-analysis
Specialized skill for metallic materials analysis and metallography including grain size measurement, phase quantification, and inclusion rating
a5c-ai/babysitter 514
-
polymer-characterization
Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological properties
a5c-ai/babysitter 514
-
surface-analysis
Skill for surface composition, chemical state, and topography analysis including XPS depth profiling, AFM imaging, and contact angle measurements
a5c-ai/babysitter 514
-
thermal-analysis
Skill for thermal characterization workflows including DSC, TGA, DTA, TMA, and DMA for phase transitions, decomposition, and viscoelastic property analysis
a5c-ai/babysitter 514
-
afm-spm-analyzer
Atomic Force Microscopy and Scanning Probe Microscopy skill for nanoscale topography, mechanical, and electrical property mapping
a5c-ai/babysitter 514
-
characterization-workflow-orchestrator
Workflow automation skill for orchestrating multi-technique characterization sequences
a5c-ai/babysitter 514
-
cleanroom-metrology-controller
Nanofabrication metrology skill for process control with CD-SEM, ellipsometry, and profilometry
a5c-ai/babysitter 514
-
cleanroom-protocol-manager
Cleanroom operations skill for managing protocols, contamination control, and process flows
a5c-ai/babysitter 514