vera — security grade SAFE, quality 63/100

Security audit verdict: SAFE · quality 63/100

No red flags found in any of the 11 categories — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against the SlowMist agent-security taxonomy, refreshed every 8 hours. Full audit →

by VeraTools · MCP Server · ★ 115

Last updated: 2026-09-30 · Indexed by AgentSkillsHub · Auto-synced every 8h

🔒 Is vera safe to install? View the security audit →

About vera

Vera Docs · Install Guide · Features · Query Guide · Benchmarks · How It Works · Models · Supported Languages Local, symbol-aware code search for developers and AI agents. Hybrid BM25 + vector search with optional reranking, 65 languages, one static binary. Indexes stay on your machine; results come back as symbol-bounded chunks with file paths, line ranges, and scores. Vector Enhanced Reranking Agent ![vera search demo](

bm25 cli code-search code-search-engine cross-encoder embeddings local mcp mcp-server onnx

Quick Facts

Stars	115
Forks	15
Language	Rust
Category	MCP Server
License	MIT
Quality Score	63.4725884930421/100
Open Issues	1
Last Updated	2026-09-30
Created	2026-03-22
Platforms	cli, mcp, rust
Est. Tokens	~25k

Compatible Skills

These tools work well together with vera for enhanced workflows:

Vera — semantic(1.00)+rare_topics+same_lang+similar_pop+shared_platform (75%)
semble_rs — semantic(0.47)+complementary+same_lang+similar_pop+shared_platform (66%)
Ataru — semantic(0.35)+complementary+same_lang+similar_pop+shared_platform (62%)

vera alternative? Top 6 similar tools

Looking for a vera alternative? If you're comparing vera with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.

Vera by lemon07r · ⭐ 102
Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tr
octocode by Muvon · ⭐ 477
Structural code intelligence for AI agents — semantic search, knowledge graphs, and a built-in MCP server in o
gno by gmickel · ⭐ 115
Local AI-powered document search and editing with first-in-class hybrid retrieval, LLM answers, WebUI, REST AP
rust-docs-mcp-server by Govcraft · ⭐ 291
🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, use
devrag by tomohiro-owada · ⭐ 63
Markdown vector search MCP server for Claude Code. Natural language search for markdown files using multilingu
srclight by srclight · ⭐ 57
Deep code indexing MCP server for AI agents. 25 tools: hybrid FTS5 + embedding search, call graphs, git blame/

More MCP Server Tools

Explore other popular mcp server tools:

n8n ⭐ 206.6k
gemini-cli ⭐ 107.2k
awesome-mcp-servers ⭐ 95.6k
TrendRadar ⭐ 62.2k
context7 ⭐ 62.6k
UI-TARS-desktop ⭐ 39.1k
chrome-devtools-mcp ⭐ 52.9k
github-mcp-server ⭐ 33.3k
gpt-researcher ⭐ 29.9k
Scrapling ⭐ 85.4k

View all MCP Server tools →

Popular Rust Agent Tools

hyper-mcp ⭐ 883 · MCP Server
wassette ⭐ 956 · MCP Server
aderyn ⭐ 796 · MCP Server
mcp-server-elasticsearch ⭐ 720 · MCP Server
flow-like ⭐ 865 · MCP Server

Frequently Asked Questions

What is vera?

vera is 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 ran. It is categorized as a MCP Server with 115 GitHub stars.

What programming language is vera written in?

vera is primarily written in Rust. It covers topics such as bm25, cli, code-search.

How do I install or use vera?

You can find installation instructions and usage details in the vera GitHub repository at github.com/VeraTools/vera. The project has 115 stars and 15 forks, indicating an active community.

What license does vera use?

vera is released under the MIT license, making it free to use and modify according to the license terms.

What are the best alternatives to vera?

The top alternatives to vera on Agent Skills Hub include Vera, octocode, gno. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.

How this security grade is produced

Grades come from a rule-based scan built on the SlowMist agent-security taxonomy, covering 11 red-flag categories including credential harvesting, data exfiltration, and curl | sh installers. It is a first-layer scan, not a manual audit — we say so rather than overstate it.

The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.

Sources & who's responsible:

View on GitHub → Browse MCP Server tools