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 lemon07r · MCP Server · ★ 102
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
🔒 Is Vera safe to install? View the security audit →
Vera 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 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. Quick Start 1. Install 2. Set up models (pick one) bash vera setup # Interactive wizard (auto-detects your hardware) vera setup --api # API mode
| Stars | 102 |
| Forks | 14 |
| Language | Rust |
| Category | MCP Server |
| License | MIT |
| Quality Score | 68.2616427868494/100 |
| Open Issues | 13 |
| Last Updated | 2026-05-13 |
| Created | 2026-03-22 |
| Platforms | cli, mcp, rust |
| Est. Tokens | ~595k |
These tools work well together with Vera for enhanced workflows:
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.
Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tr
Structural code intelligence for AI agents — semantic search, knowledge graphs, and a built-in MCP server in o
Local AI-powered document search and editing with first-in-class hybrid retrieval, LLM answers, WebUI, REST AP
🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, use
Markdown vector search MCP server for Claude Code. Natural language search for markdown files using multilingu
Deep code indexing MCP server for AI agents. 25 tools: hybrid FTS5 + embedding search, call graphs, git blame/
Explore other popular mcp server tools:
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 102 GitHub stars.
Vera is primarily written in Rust. It covers topics such as bm25, cli, code-search.
You can find installation instructions and usage details in the Vera GitHub repository at github.com/lemon07r/Vera. The project has 102 stars and 14 forks, indicating an active community.
Vera is released under the MIT license, making it free to use and modify according to the license terms.
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.
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: