Searching protocol for "mvi"
Design robust tools for agent actions.
Enhance Lea with LSP features (completion, hover).