ReddRadar
Topic: ai-agents
18,135 skills in this topic.
-
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
-
smt-solver-interface
Interface with SMT solvers for verification and synthesis
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
-
polymer-characterization
Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological properties
a5c-ai/babysitter 514
-
related-work-analyzer
Analyze and organize related work for theoretical CS papers
a5c-ai/babysitter 514
-
reduction-builder
Construct and verify polynomial-time reductions between computational problems
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
-
crystallography-analysis
Advanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysis
a5c-ai/babysitter 514
-
recurrence-solver
Solve recurrence relations using multiple methods including Master Theorem and generating functions
a5c-ai/babysitter 514
-
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
a5c-ai/babysitter 514
-
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai/babysitter 514
-
operational-semantics-builder
Define and test operational semantics specifications for programming languages
a5c-ai/babysitter 514
-
model-checker-interface
Interface with multiple model checking tools for formal verification
a5c-ai/babysitter 514
-
memory-model-analyzer
Analyze programs under various memory models for concurrent correctness
a5c-ai/babysitter 514
-
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai/babysitter 514
-
linearizability-checker
Check linearizability of concurrent data structure implementations
a5c-ai/babysitter 514
-
latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
a5c-ai/babysitter 514
-
dsl-compiler-generator
Generate compilers and interpreters for domain-specific languages
a5c-ai/babysitter 514
-
data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
a5c-ai/babysitter 514
-
counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows
a5c-ai/babysitter 514
-
consensus-protocol-library
Reference implementations and specifications of consensus protocols
a5c-ai/babysitter 514
-
cleanroom-protocol-manager
Cleanroom operations skill for managing protocols, contamination control, and process flows
a5c-ai/babysitter 514
-
cleanroom-metrology-controller
Nanofabrication metrology skill for process control with CD-SEM, ellipsometry, and profilometry
a5c-ai/babysitter 514
-
characterization-workflow-orchestrator
Workflow automation skill for orchestrating multi-technique characterization sequences
a5c-ai/babysitter 514