Vera

by lemon07rVerified

Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tree-sitter, runs entirely offline, and returns structured results with file paths, line ranges, and symbol metadata. Built in Rust.

102
Stars
14
Forks
Rust
Language
8/24/2026
Added
View on GitHubDownload ZIP

⚠️ Third-Party Software Notice

This skill is third-party open-source software developed and hosted independently on GitHub. SkillTip is an informational directory and does not control or maintain the underlying repository. Any security checks displayed are automated and limited in scope. Review the source code before installing.

Read the Terms of Service

Installation

Add to your Claude Code skills directory:

# Add to your Claude Code skills
git clone https://github.com/lemon07r/Vera

Getting Started

Guides for using skills like Vera.

Security Report

Verified

Last scanned: —

{
  "status": "PASSED",
  "issues": []
}

README.md

vera

Vera

License: MIT Rust GitHub release Languages

Install Guide · Features · Query Guide · Benchmarks · How It Works · Models · Supported Languages

Vector Enhanced Reranking Agent

Code search that combines BM25 keyword matching, vector similarity, and optional cross-encoder reranking. Supports 65 languages (61 with tree-sitter parsing), runs locally, returns structured results with file paths, line ranges, symbol metadata, and relevance scores.

v1.0

Vera 1.0 is the feature-complete milestone: the search pipeline, code-intelligence commands, agent integrations, and local inference backends are all in place, hardened by a wave of community PRs and user-reported fixes. Highlights include measured search-quality gains on the full 1,251-task Semble suite, an agent-level benchmark showing fewer input tokens at equal answer quality, structural search intents, git-scoped queries, the vera serve HTTP server, and local-mode hardening. See What's new in v1.0 for details.

Quick Start

1. Install

bunx @vera-ai/cli install   # or: npx -y @vera-ai/cli install / uvx vera-ai install

2. Set up and index (pick one)

vera setup                                  # Interactive, indexes this project by default
vera setup --potion-code --index .          # Default local model
vera setup --api --index .                  # Remote API mode, prompts for endpoint + key
vera setup --onnx-jina-coreml --index .     # Apple Silicon (M1/M2/M3/M4)
vera setup --onnx-jina-cuda --index .       # NVIDIA GPU
vera setup --onnx-jina-rocm --index .       # AMD GPU (ROCm, Linux)
vera setup --onnx-jina-openvino --index .   # Intel GPU (OpenVINO, Linux)
vera setup --onnx-jina-directml --index .   # DirectX 12 GPU (Windows)

3. Search

vera search "authentication logic"

If the current project has no index, interactive search offers to create one. JSON and non-interactive searches still return the missing-index error.

The default local embedding model is minishlab/potion-code-16M-v2. It runs locally on CPU on any supported machine; no GPU or ONNX Runtime needed. Jina ONNX and CodeRankEmbed are opt-in alternatives.

What Sets Vera Apart

Opt-in cross-encoder rerankingEnable query-candidate scoring with retrieval.reranking_enabled when you need it. Reranking is off by default.
Single binary, 65 languagesOne static binary with 61 tree-sitter grammars compiled in. No Python, no language servers, no per-language toolchains.
Built-in code intelligenceCall graph analysis, reference finding, dead code detection, and project overview, all from the same index.
Token-efficient for agentsReturns symbol-bounded chunks, not entire files. 75-95% fewer tokens on typical queries.

Vera started after weeks of working on Pampax, a project I forked because it and other similar tools were missing what I wanted. I kept running into deep-rooted bugs, less-than-ideal design decisions, and thought I could build something better from the ground up. Every design choice comes from careful research, learning from other projects, benchmarking and evaluation. Take a look at the full feature list to see everything Vera can do.

Installation

Use the quick start above if you just want to get going. This section helps you pick the right backend.

bunx @vera-ai/cli install   # or: npx -y @vera-ai/cli install / uvx vera-ai install

Pick Your Backend

Vera itself is always local: the index lives in .vera/ per project, config and models in $XDG_DATA_HOME/vera (or ~/.vera for existing installs). The backend choice only affects where embeddings and reranking run.

You haveRun thisWhat happens
Not surevera setupInteractive wizard auto-detects your hardware
CPU onlyvera setup --potion-codeUses the default minishlab/potion-code-16M-v2 local model on any supported machine
Remote modelsvera setup --apiPrompts for an OpenAI-compatible endpoint and key
Apple Silicon (M1/M2/M3/M4)vera setup --onnx-jina-coremlDownloads local models, uses CoreML GPU acceleration
NVIDIA GPUvera setup --onnx-jina-cudaDownloads local models, uses CUDA. Fastest local option
AMD GPU (Linux)vera setup --onnx-jina-rocmDownloads local models, uses ROCm
Intel GPU (Linux)vera setup --onnx-jina-openvinoDownloads local models, uses OpenVINO
DirectX 12 GPU (Windows)vera setup --onnx-jina-directmlDownloads local models, uses DirectML

API mode works with any OpenAI-compatible endpoint and needs no local compute. Use vera setup --api --yes with EMBEDDING_MODEL_* variables for non-interactive setup. The default minishlab/potion-code-16M-v2 model runs locally on CPU on any supported machine; no GPU or ONNX Runtime needed. Jina ONNX and CodeRankEmbed are opt-in alternatives. Reranking is opt-in and disabled by default. After the first index, vera update . only re-embeds changed files, so incremental updates are fast on any backend. Full details: docs/models.md.

For step-by-step instructions, API provider options, Docker, building from source, and troubleshooting, see the full Installation Guide.

MCP server
vera mcp   # or: bunx @vera-ai/cli mcp / uvx vera-ai mcp

Exposes search_code, get_stats, get_overview, regex_search, structural_search, find_references, and explain_path. search_code, structural_search, and find_references auto-index and start a file watcher on first use if no index exists. The MCP surface stays intentionally small; use the CLI skill path when you need the full command set.

Usage

Core Workflow

vera search "authentication logic"
vera update .

Search Patterns

vera search "error handling" --lang rust
vera search "routes" --path "src/**/*.ts" --path "tests/**/*.ts"
vera search "handler" --type function --limit 5
vera search "OAuth token refresh" "JWT expiry handling" "auth middleware"
vera search "config" --intent "find where database connection strings are loaded"
vera search "config loading" --deep
vera search "auth" --compact
vera search "token validation" --changed
vera search "config loading" --base origin/main
vera structural definitions parse_config
vera structural env DATABASE_URL
vera structural routes --path "src/**/*.ts"
vera structural impls Loader
vera references parse_config --changed

Repeat --path to match any of several file path patterns. Path patterns use OR semantics; other filters still combine with AND semantics.

Common Tasks

TaskCommand
Regex or exact textvera grep "fn\s+main"
Common structural tasksvera structural routes / vera structural env DATABASE_URL / vera structural impls Loader
Explain why a file is missing from the indexvera explain-path path/to/file
Inspect index healthvera stats --json
Find callersvera references foo
Find calleesvera references foo --callees
Find dead codevera dead-code
Get a project overviewvera overview
Scope a search to changed filesvera search "query" --changed
Keep the index freshvera watch .
Run local HTTP inference serververa serve
Check your setupvera doctor
Repair missing local assetsvera repair
Install agent skillsvera agent install

See the query guide for search tips, the feature list for the full command surface, and vera --help for CLI details.

Output

Defaults to markdown codeblocks (the most token-efficient format for AI agents):

```src/auth/login.rs:42-68 function:authenticate
pub fn authenticate(credentials: &Credentials) -> Result<Token> { ... }
```

Use --json for compact JSON. --raw works with vera search, vera grep, and vera references; --timing works with vera search and vera grep. You can place them before or after the subcommand (for example, vera --timing search "auth" or vera references parse_config --raw).

Excluding Files

Vera respects .gitignore by default. Create a .veraignore file (gitignore syntax) for more control, or use --exclude flags. Details: docs/features.md.

If a file is missing from the index and you need the exact reason, run:

vera explain-path path/to/file

Benchmarks

Semble benchmark comparison, measured 2026-08-23 on 1,251 tasks across 63 repositories:

ToolnDCG@10R@1R@5R@10MRRQuery p50Index timeIndex size
Vera0.84410.67110.92030.95140.82629.9 ms174 s4.7 GB
Semble 0.5.5, full rerank stack0.85140.67470.91770.96560.83482.3 ms100 s32 GB

Both tools used the same minishlab/potion-code-16M-v2 embeddings, harness, graded relevance, and suffix-corrected path matching in the scorer. On the 320-task tuning subset, Vera scored 0.8540 versus Semble at 0.8494 nDCG. On the contamination-check independent set, Vera scored 0.7644 versus Semble at 0.7655. See docs/benchmarks.md for the screening tables and historical comparisons.

Full methodology and version history: docs/benchmarks.md.

Configure Your AI Agent

vera agent install installs the Vera skill for supported coding agents and can add a short usage snippet to your project's AGENTS.md, CLAUDE.md, COPILOT.md, or editor rules file.

vera agent install
vera agent install --client all

If you use the skills CLI, you can install Vera there too:

npx skills add VeraTools/Vera

If you skipped the prompt and want to add the instructions manually, use the snippet in the Installation Guide.

Contributing

See CONTRIBUTING.md.

Frequently Asked Questions

What is Vera?

Vera is an open-source mcp servers skill for AI coding assistants such as Claude Code, Codex CLI, and ChatGPT, built by lemon07r. Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tree-sitter, runs entirely offline, and returns structured results with file paths, line ranges, and symbol metadata. Built in Rust. It has 102 GitHub stars.

Is Vera safe to use?

Yes. Vera passed SkillsLLM's automated security scan — a dependency vulnerability audit plus prompt-injection heuristics — with no high-severity issues. You can read the full report in the Security Report section on this page.

How do I install Vera?

Clone the repository with "git clone https://github.com/lemon07r/Vera" and add it to your Claude Code skills directory (see the Installation section above).

What programming language is Vera written in?

Vera is primarily written in Rust. It is open-source under lemon07r on GitHub, so you can review or fork the full source.

Are there alternatives to Vera?

Yes. SkillsLLM lists many other MCP Servers skills you can browse and compare side by side. Open the MCP Servers category from the badge at the top of this page, or use the Related Skills and comparison links further down to weigh Vera against similar tools.

Comments (0)

No comments yet. Be the first to share your thoughts!

n8n

by n8n-io

12

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

201,88160,308TypeScript
MCP Serversapisai-tools
View details

Scrapling

by D4Vinci

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!

75,9137,581Python
MCP Servers
View details

TrendRadar

by sansan0

⭐AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.🎯 告别信息过载,你的 AI 舆情监控助手与热点筛选工具!聚合多平台热点 + RSS 订阅,支持关键词精准筛选。AI 智能筛选新闻 + AI 翻译 + AI 分析简报直推手机,也支持接入 MCP 架构,赋能 AI 自然语言对话分析、情感洞察与趋势预测等。支持 Docker ,数据本地/云端自持。集成微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 等渠道智能推送。

61,65224,883Python
MCP Servers
View details

context7

by upstash

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

61,0602,938TypeScript
MCP Servers
View details

High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.

39,9393,219C
MCP Servers
View details

Developers Also Liked

Based on votes and bookmarks from developers who liked this skill

ECC

by affaan-m

10

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

242,21936,702JavaScript
AI Agentsai-agentsanthropicclaude-code
View details
15

An agentic skills framework & software development methodology that works.

234,96620,863Shell
AI Agentsai-agentsbrainstorming
View details

n8n

by n8n-io

12

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

201,88160,308TypeScript
MCP Serversapisai-tools
View details

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

185,94028,768JavaScript
AI Agentsai-agentsanthropicclaude-code
View details

cc-switch

by farion1231

3

A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io

128,8688,826Rust
AI Agentsclaude-codeai-tools
View details