env.example

# =============================================================================
# SpecSync environment template
# Copy to .env for local development (do not commit secrets).
# Probot docs: https://probot.github.io/docs/configuration/
# =============================================================================

# --- GitHub App (required for Probot) ---
APP_ID=
PRIVATE_KEY=
WEBHOOK_SECRET=

# Optional: PAT or installation token when the app needs extra API access
GITHUB_TOKEN=

# --- LLM providers (optional; mock/fallback if unset) ---
OPENAI_API_KEY=
ANTHROPIC_API_KEY=
LLM_REQUEST_TIMEOUT_MS=120000
LLM_MAX_RETRIES=2

# --- Slack (optional) ---
SLACK_BOT_TOKEN=
SLACK_CHANNEL=#specsync

# --- Process / HTTP ---
NODE_ENV=development
PORT=3000
HOST=localhost
LOG_LEVEL=info

# --- Formal specs (Lean / Lake) ---
# Must match the Lake library layout (see lakefile.lean)
SPECS_DIR=specs

# --- Future use ---
DATABASE_URL=

# --- UI / experiments ---
SPECSYNC_EXPERIMENTAL=suggest-only
DASHBOARD_PORT=3001