Configuration

Environment variables, settings, and GitHub App setup for Syntropic137.

Syntropic137 uses environment variables for configuration. Copy .env.example to .env and customize as needed.

Core Settings

VariableDefaultDescription
APP_ENVIRONMENTdevelopmentRuntime environment (development, staging, production)
DATABASE_URLPostgreSQL connection string
REDIS_URLRedis connection string
API_HOST0.0.0.0API server bind address
API_PORT8000API server port

GitHub App

Syntropic137 integrates with GitHub through a GitHub App for receiving webhook events and managing repositories.

Setup

Run the GitHub App setup via the CLI:

npx @syntropic137/setup github-app

See GitHub Integration for the full setup guide including trigger rules and webhook configuration. For secret storage details, see Secrets Management.

Environment Variables

VariableDescription
GITHUB_APP_IDGitHub App ID
GITHUB_APP_PRIVATE_KEYPEM-encoded private key
GITHUB_WEBHOOK_SECRETWebhook verification secret

Agent Configuration

VariableDefaultDescription
AGENT_WORKSPACE_DIR/tmp/syn-workspacesBase directory for agent workspaces
AGENT_TIMEOUT3600Maximum agent execution time (seconds)
AGENT_MAX_CONCURRENT4Maximum concurrent agent sessions

Event Polling

Syntropic137 polls the GitHub Events API as a zero-config fallback when webhooks are unavailable. Polling is enabled by default — no tunnel setup required. See Event Ingestion for how the hybrid approach works.

VariableDefaultDescription
SYN_POLLING_DISABLEDfalseDisable Events API polling entirely
SYN_POLLING_POLL_INTERVAL_SECONDS60.0Active polling interval (seconds)
SYN_POLLING_SAFETY_NET_INTERVAL_SECONDS300.0Safety net polling interval (seconds)
SYN_POLLING_WEBHOOK_STALE_THRESHOLD_SECONDS1800.0Seconds before switching to active polling
SYN_POLLING_DEDUP_TTL_SECONDS86400Redis dedup key TTL (seconds)

See .env.example in the repository for the complete list of configuration options.

Syntropic137 Docs v0.18.0 · Last updated March 2026

On this page