# Copy to .env and fill in. .env is gitignored.

# --- LLM connector -------------------------------------------------------
# Any OpenAI-compatible /chat/completions endpoint.
DASHSCOPE_API_KEY=sk-your-key-here
LEANBENCH_LLM_MODEL=qwen-max
LEANBENCH_LLM_BASE_URL=https://dashscope.aliyuncs.com/compatible-mode/v1
# Name of the variable the key lives in, if not DASHSCOPE_API_KEY:
# LEANBENCH_LLM_API_KEY_ENV=OPENAI_API_KEY

# --- pipeline ------------------------------------------------------------
LEANBENCH_DATABASE=database/leanbench.sqlite
# How many consecutive pages one item may be reassembled from:
LEANBENCH_MAX_WINDOW_PAGES=3
# Extra tries after Lean rejects the generated code:
LEANBENCH_REPAIR_ATTEMPTS=1

# --- Lean ----------------------------------------------------------------
# A Lake project with Mathlib already built. Leave unset to skip verification.
# LEANBENCH_LEAN_PROJECT=/opt/lean-bench/lean
# LEANBENCH_LEAN_COMMAND=["lake","env","lean"]
# LEANBENCH_LEAN_TIMEOUT=120