Searching protocol for "semantic-verification"
Guides semantic inline cross-reference linking in text.
Convert C/C++ to verifiable Dafny code.
Run, debug, and report Playwright tests fast