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

Eggshell 是用 Lean4 编写的开源令牌节省工具。它适用于原型和内部工作流程，但在使用前需要核实许可证、活跃度和文档。生产环境中可在确认依赖和维护情况后采用。