ALIBI is a free daily deduction game. A handful of witnesses each give a statement, and every witness is one of two kinds: honest, so everything they say is true, or lying, so everything they say is false. Mark each card correctly and the case closes. There is always exactly one answer, it is reachable by reasoning alone, and the game has checked that before you see it.
Avery: "Blake is lying." Blake: "Exactly one of us is honest." Casey: "Avery and I are the same type." If Blake were honest, Blake would be the only honest one, so Casey would be a liar saying something true about two liars being the same type. Impossible. So Blake lies, Avery's claim is true and Avery is honest, and Casey must be honest too, or Blake's "exactly one" would come true. Answer: Avery and Casey honest, Blake lying.
Daily case: one shared case per UTC day, with a spoiler-free share grid. Endless: generated cases at four difficulty tiers. Challenge: five cases, three hints, a score. Tutorial: a sixty-second first case. Your stats stay in this browser; there is no account.
Every case comes from a seeded generator and is run through an exhaustive solver that tries every honest-or-lying assignment. Only cases with exactly one consistent assignment are kept. Full rules are on the how to play page, and the longer ALIBI guide on Timeburn has strategy and a worked case.