AgentIndex icon
AgentIndex
工具MCP 服务HOT分类热门最新选型清单对比指南
提交工具
工具MCP 服务HOT分类热门最新选型清单对比指南
首页/
开发者工具/
Vera
Vera logo

Vera

活跃·★ 120·MIT·更新于 2026-10-14

Vera 是一款强大的本地代码搜索工具,它结合了关键词匹配、向量相似度和可选的交叉编码器重排序功能,以提供高度相关的结果。它支持超过 65 种编程语言,内置代码智能,并为 AI 代理提供令牌高效的输出。

#代码搜索#向量嵌入#重排序#代码智能#多语言#开发工具#本地推理#Tree-sitter
$ 安装
$ bunx @vera-ai/cli install
↗ 访问官网★ GitHub
01

功能特性

01可选的交叉编码器重排序功能,用于增强查询与候选代码的匹配度。
02通过单一静态二进制文件支持 65 种以上语言(其中 61 种支持 Tree-sitter 解析)。
03内置代码智能,包括调用图分析、引用查找和死代码检测。
04令牌高效的输出,返回符号边界的代码块而非整个文件,非常适合 AI 代理。
05完全在本地 CPU 上运行,并可选支持各种硬件的 GPU 加速。
02

兼容性

Rust
后端
已通过文档验证
65+ Programming Languages
代码解析
已通过文档验证
CPU
本地推理
已通过文档验证
GPU
加速推理
已通过文档验证
OpenAI API
API集成
已通过文档验证
03

快速开始

1
$ bunx @vera-ai/cli install
04

使用场景

↳在项目中进行语义代码搜索,查找相关的逻辑或模式。
↳结构化代码分析,例如查找路由、环境变量或接口实现。
↳识别代码引用,包括特定函数/变量的调用者、被调用者或使用情况。
↳在项目中检测死代码以改善代码库健康状况。
↳作为 AI 编码代理的技能集成,以增强其对代码库的理解和交互能力。
05

同类工具

⚡热门对决:
VStree-sitter-analyzer★61→VSrutis★149→VSxgrep★20→VSDebugMCP★573→
tree-sitter-analyzer logo
tree-sitter-analyzer★ 61
Tree-sitter Analyzer 是一款面向AI时代的企业级代码分析工具,深度集成AI并支持多种编程语言。
VS对比→
rutis logo
rutis★ 149
供智能体和长期运行程序编写、替换和热重载自己插件的插件运行时,Rust 内核,插件可用 TypeScript、Python、Go
VS对比→
xgrep logo
xgrep★ 20
xgrep 是一个超快速的索引代码搜索引擎,内置MCP服务器,专为AI编程工具设计。
VS对比→
DebugMCP logo
DebugMCP★ 573
DebugMCP 是一个 MCP 服务器,使 AI 编码助手能够在 VS Code 中进行操作调试,支持设置断点、单步执行、检查变量和评估表达式。
VS对比→
agentic-tools logo
agentic-tools★ 227
此仓库为Meta Quest和Horizon OS开发提供一套智能体技能和工具集,旨在增强AI编码助手的开发能力。
VS对比→
Benzi logo
Benzi★ 169
Benzi是一个由编译器支持的AI编码助手,它首先解析代码文件,构建一个精确可查询的结构化代码图谱,以实现高效的代码智能。
VS对比→
docs logo
docs★ 120
一个命令行工具,用于阅读、搜索和构建基于MDX的文档。
VS对比→
pitlane-mcp logo
pitlane-mcp★ 76
一个为AI编程代理提供令牌高效代码智能的MCP服务器,它利用tree-sitter索引代码库,使代理能够按需检索符号,而非倾倒整个文件内容。
VS对比→
查看全部替代品 →

评论

登录后发表评论

暂无评论,来发表第一条吧

本页内容
01功能特性02兼容性03快速开始04使用场景05同类工具
VeraTools /
Vera
↗

Vera 是一个代码搜索工具,结合了 BM25 关键词匹配、向量相似度和可选的交叉编码器重排序功能。

120MIT
最后更新1周前
状态活跃
分类开发者工具
链接
文档↗讨论↗问题↗版本↗
推荐云部署
Ad

在 DigitalOcean 上一键部署

为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器,新用户立享 $200 免费额度(60天有效)。

立即领取 $200 免费额度
© 2026 AgentIndex.app|由十年 iOS 开发者构建。
按场景挑选关于我们联系我们广告合作隐私政策使用条款QYSGitHub请作者喝咖啡 ☕

按分类浏览

MCP 服务器代码助手工作流自动化RAG / 知识库多智能体浏览器自动化大模型基础设施开发者工具可观测性

与 Anthropic, OpenAI 或 Microsoft 无关。