What's Changed

• Significant speedups thanks to improved handling of blocking and building in leanclient.
• Various other improvements such as better cleanup and logging in leanclient.
• Add orjson>=3.11.1 for Python 3.14 compatibility by @jessealama in #31

Full Changelog: v0.9.0...v0.10.0

What's Changed

• Local search tool to reduce API hallucinations by @oOo0oOo in #29
• Feature/automated tests by @oOo0oOo in #28

Full Changelog: v0.8.0...v0.9.0

What's Changed

• Add diagnostic logging to update_file for #21 by @jessealama in #26
• Set logging verbosity using env variable LEAN_LOG_LEVEL
• Bump dependencies

New Contributors

• @jessealama made their first contribution in #26

Full Changelog: v0.7.0...v0.8.0

What's Changed

• feat: Add host and port arguments for transport by @lenianiva in #23
• Improved instructions
• Remove environment variables from MCP config
• Bump dependencies

New Contributors

• @lenianiva made their first contribution in #23

Full Changelog: v0.6.0...v0.7.0

Features

• Support sse and streamable-http transport methods
• Support bearer token authentication for sse and streamable-http
• Better instructions for lean_multi_attempt tool
• Expose lake clean in lean_build tool

Full Changelog: v0.4.1...v0.6.0

What's Changed

• Help agents to identify incorrect input parameters in #12
• Return relevant diagnostic messages with hover information

Full Changelog: v0.4.0...v0.4.1

What's Changed

• LeanHammer premise search tool
• Better error responses
• Fix: Sorting lean_completions tool results, better partial results

New Contributors

• @gaearon made their first contribution in #6

Full Changelog: v0.3.1...v0.4.0

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

Features

• Loogle tool
• Lean State Search tool
• Rate limiting external search tools
• Cleaner logging

Full Changelog: v0.2.0...v0.3.0

Features:

• New tool lean_run_code: Run/compile independent code snippets/files and receive diagnostic messages.
• Configuration of env variable LEAN_PROJECT_PATH no longer required.

Full Changelog: v0.1.11...v0.2.0