leanclient

Adds asyncio-native Lean LSP client with scratch-document execution, partial diagnostics, Lean 4.30 support and stronger transport failure handling.

Full Changelog: v0.11.0...v0.12.0

What's Changed

• Cleanup: fix unicode edits, async race, dedup, dead code by @oOo0oOo in #40
• Bump test toolchain to Lean v4.30.0 by @oOo0oOo in #41
• Lean 4.30 test fixups + info_trees module-system fix by @oOo0oOo in #42
• Add ty type checking; make the library pass it by @oOo0oOo in #43
• Fix flaky test_server_queues_requests timing assertion by @oOo0oOo in #44

Full Changelog: v0.10.0...v0.11.0

What's Changed

• Add Github Action by @RexWzh in #19
• Add simple CI workflow for linting and unit tests by @jessealama in #26
• Waiting for line range also requires state.is_ready() by @trevyn in #35
• Feature/timeout field by @maorbenshahar in #36
• [fix] Handle path-type mathlib deps in needs_mathlib_cache_get by @mensriwq in #39
• fix: normalize windows paths and read utf8 by @elazarg in #38

New Contributors

• @trevyn made their first contribution in #35
• @maorbenshahar made their first contribution in #36
• @mensriwq made their first contribution in #39
• @elazarg made their first contribution in #38

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

What's Changed

• [fix] Add is_ready() check to range mode initial completion by @jessealama in https://github.com/oOo0oOo/leanclient/pull/30
• Add widget support with RPC session management by @alok in https://github.com/oOo0oOo/leanclient/pull/21
• feat: Add DiagnosticsResult for structured diagnostic responses by @jessealama in https://github.com/oOo0oOo/leanclient/pull/32

New Contributors

• @alok made their first contribution in https://github.com/oOo0oOo/leanclient/pull/21

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.7.0...v0.9.0

What's Changed

• Better Linter for SFC & Eanble Log History by @RexWzh in https://github.com/oOo0oOo/leanclient/pull/15
• [fix] Lean 4.22.0 compatibility by @oOo0oOo in https://github.com/oOo0oOo/leanclient/pull/17
• [fix] Use fullRange for line range filtering by @jessealama in https://github.com/oOo0oOo/leanclient/pull/24
• Feature/module hierarchy by @oOo0oOo in https://github.com/oOo0oOo/leanclient/pull/27
• Removed debouncing

New Contributors

• @RexWzh made their first contribution in https://github.com/oOo0oOo/leanclient/pull/15

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.6.0...v0.7.0

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.5.0...v0.6.0

Various speed and efficiency improvements.

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.4.0...v0.5.0

Features:

• Automatically re-build dependencies upon "Imports are out of date" diagnostic message.
• Reduced polling and waiting

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.3.0...v0.4.0

What's Changed

This is a big one. Tons of improvements. Significant speedups thanks to reduced blocking, and reduced building. Major test improvements. Unfortunately also some minor breaking changes.

• Refactor/change to uv and pytest by @oOo0oOo in https://github.com/oOo0oOo/leanclient/pull/10
• Feature/multi request in flight by @oOo0oOo in https://github.com/oOo0oOo/leanclient/pull/11

Full Changelog: https://github.com/oOo0oOo/leanclient/compare/v0.2.1...v0.3.0