Searching protocol for "custom format"
Formal verification for Move
Run Playwright tests, analyze failures, get fixes.