local-search

本文提出了一种方法，利用对称性质从约束规范中自动生成局部搜索邻域，并在六个优化问题上进行了评估。

Witchcraft 是一个用 Rust 对斯坦福大学 XTR-Warp 语义搜索引擎进行的开源重新实现，使用 SQLite 实现快速本地搜索。它包含 Pickbrain CLI，用于索引代码会话记录，并为 AI 代理配备全局记忆。

Clipto 是一款完全本地化的自然语言搜索工具，能在不依赖云服务的情况下搜索数TB的媒体文件。