Mira

Mira 做的是“文件名记不住也能找文件”的本地搜索。它把 metadata、全文和语义匹配合并排序，实用点在于 live indexing 与本地处理；但语义索引的质量会受文档解析和 embedding provider 影响。