{"repo":"VeraTools/Vera","free":true,"listed":false,"github":"https://github.com/VeraTools/Vera","clone":"git clone https://github.com/VeraTools/Vera.git","description":"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.","language":"Rust","stars":103,"topics":["bm25","cli","code-search","code-search-engine","cross-encoder","embeddings","local","mcp","mcp-server","onnx"],"license":"MIT","category":"mcp-servers","readme_excerpt":"Vera Install Guide · Features · Query Guide · Benchmarks · How It Works · Models · Supported Languages V ector E nhanced R eranking A gent 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. v1.0 Vera 1.0 is the first stable release. It ships measured search-quality gains on the full 1,251-task Semble suite, an agent-level benchmark showing fewer input tokens at equal answer quality, repeatable --path filters, vera agent install , the vera serve HTTP server, local-mode hardening, and a set of community-reported fixes. See What's new in v1.0 for details. Quick Start 1. Install 2. Set up models (pick one) 3. Index and search What Sets Vera Apart --- --- Cross-encoder reranking Most tools stop at retrieval. Vera scores query-candidate pairs jointly, lifting MRR@10 from 0.28 to 0.60. Single binary, 65 languages One static binary with 61 tree-sitter grammars compiled in. No Python, no language servers, no per-language toolchains. Built-in code intelligence Call graph analysis, reference finding, dead code detection, and project overview, all from the same index. Token-efficient for agents Returns 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 w","default_branch":null,"files":null,"tree":[],"storefront":"/r/VeraTools","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/VeraTools/Vera/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}