Smithery is now a part of Arcade.dev! Read more in our announcement here
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across...
