KAIROS INIT — Set up a new kairos project from a starter template

USAGE:
  kairos init --lean-pythia
  kairos init aws

WHAT IT DOES:
  Scaffolds a ready-to-build starter project. The --lean-pythia variant
  creates a Lean 4 project wired to Pythia + Mathlib so you can close
  theorems with `by pythia` in one line. The aws variant runs an
  interactive onboarding wizard for Bedrock, S3, and Postgres.

EXAMPLES:
  kairos init --lean-pythia
  kairos init --lean-pythia --dest ./my-proofs
  kairos init --lean-pythia --dry-run
  kairos init aws

COMMON OPTIONS:
  --lean-pythia     Lean 4 + Mathlib starter project
  --dest PATH       Output directory (default: ./<variant>-starter)
  --dry-run         Preview files without writing anything
  aws --advanced    Expose AWS-jargon options during onboarding

SEE ALSO:
  kairos doctor    Check your setup
  kairos helper    List all topics
