The overview is now in Quickstart

Read the complete Quickstart for the first-run guide, how an Ansatz CGM run works (strategist → workers → independent verifier → curator, then Lean), the Facts and Explore graphs, proving engines, and the reusable library.