Kist - provable puzzles
Kist explores puzzle systems where solutions can be verified clearly and reliably.
Focus
- Puzzle design with explicit constraints
- Proof-friendly solution structure
- Playable formats with strong verification
Status
In exploration.