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