Searching protocol for "move prover"
Maximize first-pass verification success.
Stateful AI apps with built-in MCP and tools.