Searching protocol for "lean-spec"
Generate lean, clear feature specs, fast.
Automate Lean 4 proof implementation tasks.
Craft bilingual experiential blog essays.
Data-driven, economist-style analysis.