Searching protocol for "lean execution"
Delegate Lean research tasks to an agent.
Convert C/C++ to Lean4
Build, test, and debug Lean 4 projects with Lake.
Strategize startups with lean, validated plans.
Step-by-step Lean proof assistant
Master Zstd decompression patterns.
Lean-growth consulting for higher conversions.
Lean Startup practice for validated learning.
Enforce lean, secure Docker builds and patterns.
Manage MCP servers: discover, analyze, execute.
Execute planned tasks end-to-end without commits.
Delegate by default to preserve context.