Vera

离线代码搜索，关键词+语义+重排，直接给文件行号和符号

开源 🏷️完全免费 🔧 仅开源项目，无在线服务，需自行部署 搜索知识 🍴 复刻 17
GitHub ↗
GitHub 星标 ★ 122
维护状态 活跃
是否开源 开源
定价模式 🏷️完全免费 开源免费，需自行部署

项目预览

Vera 项目界面预览图
图片来源：GitHub 官方仓库名片

项目数据

分类搜索知识
开发团队VeraTools
GitHubhttps://github.com/VeraTools/vera
定价模式🏷️完全免费
价格说明开源免费，需自行部署
访问状态🔧 仅开源项目，无在线服务，需自行部署
是否开源是
开源协议MIT
主要语言Rust
技术栈/模型bm25,cli,code-search,code-search-engine,cross-encoder,embeddings,local,mcp,mcp-server,onnx,rag,reranking,retrieval,rust,semantic-search,semantic-search-engine,skills,tree-sitter,vector-search
GitHub 星标★ 122
上线时间2026-03-22 00:00:00
代码更新2026-11-03
仓库体积9.3 MB
本站数据更新2026-11-04
维护状态活跃
收录时间2026-09-12
浏览次数1

项目介绍

Vera 是一个完全离线运行的本地代码搜索引擎，用 Rust 编写。它解决的是开发者在大型代码库中快速定位代码的问题，尤其适合需要语义理解而非单纯关键词匹配的场景。核心能力有三层：先用 BM25 做关键词召回，再用向量相似度做语义召回，最后用 cross-encoder 重排序，把最相关的结果排到前面。它通过 tree-sitter 解析 60 多种编程语言，能返回结构化的结果，包括文件路径、行号范围和符号元数据，而不是只给一堆文本片段。整个检索过程不联网，代码不会离开本机，适合对隐私敏感或内网环境。它还提供 MCP server 接口，可以被 AI 编程助手直接调用，作为本地代码检索的后端。对想给 AI 编码工具补上精准代码搜索能力、又不想把代码传到云端的团队来说，这是一个值得关注的早期项目。

Star 增长趋势

本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整

数据来源：GitHub API 逐日快照 · 收录于 2026-09-12 · 当前星标 ★ 122

核心亮点

  • 三层检索管线（BM25+向量+cross-encoder重排），比单一关键词搜索召回更准
  • 用 tree-sitter 解析 60+ 语言，返回文件路径、行号范围和符号元数据，结果结构化可直接跳转
  • 完全离线运行，代码不出本机，适合隐私敏感或内网开发环境

不足之处

  • 项目处于早期，星标仅 109，生态和周边工具链还不成熟
  • cross-encoder 和向量检索对硬件有一定要求，大仓库首次索引可能较慢

适用场景

  • 在大型单体仓库中快速定位某个函数或符号的定义与引用
  • 给本地 AI 编程助手提供离线代码检索能力，避免代码上传云端
  • 内网或隐私敏感环境下做代码语义搜索，不依赖外部 API

替代项目

zoekt、sourcegraph、ripgrep

上一篇：genai-devday-notebooks

下一篇：lizheng-open-context

同类项目推荐

second-brain-os 开源

让 AI 自动整理 Obsidian 笔记，知识库自己长大

Guides and resources for AI engineers: an agents course, five handbooks, a hands-on ···

★ 1214 2026-09-28
llms-txt 开源

给网站加个 llms.txt，让大模型秒懂你的站点

The /llms.txt file, helping language models use your website

★ 2679 2026-09-16
SearchCLI 开源

终端敲一行命令，AI 搜索能力直接接入项目

Open CLI for integrating AI search, recommendation, and conversational retrieval int···

★ 1190 2026-08-09
search2ai 开源

给大模型插上联网搜索，实时问答不求人

Self-hosted search gateway for AI agents. Unified search, news and page extraction w···

★ 1287 2026-09-16
rag-all-techniques 开源

一站式看懂并跑通所有主流 RAG 技术

Implementation of all RAG techniques in a simpler way（以简单的方式实现所有 RAG 技术···

★ 476 2026-08-09
free-ai-bible 开源

700+ 免费 AI API 与工具，不绑卡不付费，开发者直接抄作业

The Ultimate Directory of Free AI APIs & Tools for Developers 2026 — Free LLM APIs,···

★ 201 2026-09-16
ThinkRAG 开源

在笔记本上轻松跑起本地知识库问答，数据不出门

A LLM RAG system runs on your laptop. 大模型检索增强生成系统，可以轻松部署在笔记本电···

★ 350 2026-08-09
MindSearch 开源

多智能体协作，把复杂搜索变成一份完整答案

An LLM-based Multi-agent Framework of Web Search Engine (like Perplexity.ai Pro and ···

★ 6944 2026-08-09
SQLBot 开源

对话式问数，让不懂 SQL 的人也能秒查数据库

基于大模型和 RAG 的智能问数系统，对话式数据分析神器。Text-to-SQL Generation via LLMs···

★ 7059 2026-08-09