v0.3.1

oOo0oOo released this 29 Jun 11:22

· 554 commits to main since this release

87f23ff

Features

Support self-hosted Lean State Search
Improved instructions (MCP and tool): Make more concise to save tokens
Bump dependencies
Fix: Lean build tool

Full Changelog: v0.3.0...v0.3.1

Assets 2