Searching protocol for "Lean4"
Standalone test skill for general testing.
Get precise user input to drive decisions.