Eggshell is an open-source token-saving tool built in Lean4

Eggshell — это открытый инструмент для экономии токенов, написанный на Lean4. Он пригоден для прототипов и внутренних рабочих процессов, но перед внедрением нео