Searching protocol for "execution equivalence"
Prove program equivalence.
BDD-driven math verification with executable specs.
Compress docs without changing meaning.
Prove code equivalence, not just test it.
Migrate Daytona code to Blaxel with ease.
GitLab source control handler (not implemented)
Turn messy branches into atomic commits.
Convert C/C++ to verifiable Dafny code.
Translate code, validate functionality.
Complete e-commerce purchases.
Migrate NanoClaw to Docker for cross-platform runs.
Migrate Claude Code slash commands to OpenCode.