Axiom of Stars

Logic puzzles in the night sky

Axiom of Stars is a calm logic puzzle game for PC about restoring a dark sky by solving star puzzles. Each solved star lights up and opens its neighbors, gradually bringing a constellation back. The sky map is also the puzzle board: you choose among open stars, solve one, then follow the newly lit connections.

There are 2,048 curated puzzles across thirteen constellations. Each puzzle has exactly one answer, and you can reason your way to it. There are no tutorials or rule screens. Instead, each puzzle introduces its idea through play, and solving puzzles helps you recognize patterns for the next ones.