The quickstart instructions don't include that it needs Z3's headers installed or needs a specific nightly version (nightly-2026-07-21, in their CI, or compilation fails).

There are LLM plan markdown files committed in the repo and every commit looks LLM-generated.