Skip to content

Conversation

@justincasher
Copy link
Owner

Summary

  • Rewrite data_commands.py to fetch version from assets/latest.txt instead of manifest
  • Download uncompressed files directly (no .gz decompression needed)
  • Handle BM25 directories with multiple index files
  • Add progress bar for downloads using Rich
  • Clean up old cached versions after successful install
  • Bump version to 1.1.0

Test plan

  • Run lean-explore data fetch and verify files download correctly
  • Verify old cache versions are cleaned up
  • Test local search with downloaded data
  • Test MCP server with --backend local
  • All tests pass

Fixes #62

- Rewrite data_commands.py to fetch version from assets/latest.txt
- Download uncompressed files directly (no .gz decompression needed)
- Handle BM25 directories with multiple index files
- Add progress bar for downloads using Rich
- Clean up old cached versions after successful install
- Bump version to 1.1.0

Fixes #62
@justincasher justincasher merged commit 7ea1f76 into main Jan 29, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Search with local data not working

2 participants