Documentation Index
Fetch the complete documentation index at: https://mintlify.com/skydiscover-ai/skydiscover/llms.txt
Use this file to discover all available pages before exploring further.
Overview
Thesearch section controls the evolutionary search algorithm, database backend, and context program selection strategy.
Basic Configuration
Search Types
SkyDiscover supports multiple search algorithms, each with different strategies for exploring the solution space.Top-K Search
Simple best-first search that maintains the top-k programs by fitness.Path to SQLite database for storing results
Whether to log prompts to the database
AdaEvolve (Adaptive Multi-Island)
Adaptive evolutionary algorithm with multiple islands that adjust search intensity based on improvement history.configs/adaevolve.yaml
skydiscover/config.py:380-432
Population Settings
Population Settings
Adaptive Search
Adaptive Search
Enable adaptive search intensity based on improvement signal
Exponential moving average weight (rho) for improvement signal
Minimum search intensity (exploitation mode)
Maximum search intensity (exploration mode)
Fixed intensity when
use_adaptive_search=falseSelection & Migration
Selection & Migration
Archive & Diversity
Archive & Diversity
Use quality-diversity archive
Weight for fitness rank in elite score
Weight for novelty rank in elite score
Diversity metric:
code, metric, or hybridNumber of neighbors for novelty calculation
Dynamic Islands
Dynamic Islands
Paradigm Breakthrough
Paradigm Breakthrough
Generate new high-level strategies during stagnation
Window for improvement rate calculation
Trigger paradigm breakthrough below this improvement rate
Maximum uses per paradigm
Number of paradigms to generate per trigger
Maximum tried paradigms to track
OpenEvolve Native (MAP-Elites)
Quality-diversity search using MAP-Elites grids with island-based populations.configs/openevolve_native.yaml
skydiscover/config.py:435-450
Number of islands in the population
Total population size across all islands
Size of the MAP-Elites archive
Probability of exploration (random parent from current island)
Probability of exploitation (elite from archive)
Fraction of context programs from top elites
Behavioral dimensions for MAP-Elites grid
Number of bins per feature dimension
GEPA Native
Guided Evolution for Program Adaptation with elite pool, epsilon-greedy selection, and LLM-mediated merge.skydiscover/config.py:453-472
Beam Search
Beam search with diversity weighting.skydiscover/config.py:362-370
Best-of-N
Generate N candidates and select the best one.skydiscover/config.py:373-377
EvoX (Co-Evolution)
Label-guided co-evolutionary search.configs/evox.yaml
skydiscover/config.py:339-359
SearchConfig Parameters
Defined inskydiscover/config.py:485-493
Search algorithm:
topk, adaevolve, openevolve_native, gepa_native, beam_search, best_of_n, or evoxNumber of example programs to include in generation prompts
Override output directory. If None, auto-generates based on search type and timestamp
Algorithm-specific database configuration
CLI Overrides
Override search type from command line:Choosing a Search Algorithm
Top-K
Best for: Quick experiments, simple optimizationPros: Fast, simple, low overheadCons: Limited exploration
AdaEvolve
Best for: Complex optimization, long runsPros: Adaptive, robust, handles stagnationCons: More computational overhead
OpenEvolve Native
Best for: Quality-diversity, exploring trade-offsPros: Diverse solutions, explores full spaceCons: Requires good feature dimensions
GEPA
Best for: Merging diverse solutionsPros: LLM-mediated combination, smart gatingCons: Higher LLM token usage
Next Steps
LLM Configuration
Configure models for search
Evaluator Configuration
Set up program evaluation