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

Eggshell is an open-source token‑saving tool built in Lean4. It’s suitable for prototypes and internal workflows, but should be vetted for license, activity, an