Verex is a prediction market: an on-chain CTF exchange with a hybrid AMM/CLOB, UMA-based oracle resolution, and account abstraction for onboarding.
This site is served by GitHub Pages from main:/docs, so every page below is the current state
of main. Links point at the rendered pages; the markdown sources sit in the same paths under
docs/.
| Feature designs | Per-feature design docs, Category → Feature → to-do, plus the full roadmap |
| Current plan | What is active now, roadmap status, and the next step |
| All tasks | Task and plan documents, newest first |
| History | Daily work log in KST — what was done and why |
| Analysis | Research notes — UMA, Gnosis CTF, EIP-7702, ERC-6900 vs 7579, AMM curve sims |
| Architecture | Design decisions taken and the alternatives rejected |
| Runbooks | Operational procedures, including the UMA adapter |
| Principles | Conventions the codebase and docs follow |
| Strategy | Positioning and direction |