check:
    mix format
    mix credo

setup:
    mix deps.get

iex:
    iex --name aoc2025@127.0.0.1 --cookie aoc2025 -S mix