Eggshell is an open-source token-saving tool built in Lean4(github.com)2 points by o8vm 1 day ago | 0 comments