v0.12.0

What's Changed

• Diagnostics can be limited by line range to prevent waiting for full file to process.
• Speedup: Update files instead of closing and reopening.
• Handle doc-less loogle hits without errors by @eliasjudin in #46
• Update README with WSL2 VSCode instructions by @dlebedinsky in #40
• Ensure multi_attempt cleans up Lean files and align rate limits by @eliasjudin in #47
• Ensure project activation uses Path objects by @eliasjudin in #48
• Avoid mutating snippets in lean_multi_attempt by @eliasjudin in #50
• update Lean Finder endpoint + response parsing + tool description by @mikeljl in #52
• Restrict get_relative_file_path to project root by @eliasjudin in #54

New Contributors

• @dlebedinsky made their first contribution in #40
• @mikeljl made their first contribution in #52

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