Searching protocol for "lean 4"
Master Ghostty terminal configuration with expert guidance.
Orchestrate complex tasks with multi-agent precision.