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