# vera

> vera — veratools-vera. Use this tool when you need to efficiently search and retrieve specific code snippets within large repositories, leveraging advanced algorithms like BM25 and vector similarity to solve problems of code discovery and reuse. It accepts query inputs and returns structured results with file paths, line ranges, and symbol metadata, making it ideal for offline code exploration and navigation. Suitable for use with git repositories, supporting over 60 programming languages.

Canonical page: https://skillsregistry.net/skills/veratools-vera  
JSON: https://api.skillsregistry.net/v1/skills/veratools-vera

## 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.

## Trust

- **Trust score (0–1):** 0.77
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **License:** MIT
- **Updated:** 2026-09-28

## Source

- **Source listing:** [GitHub](https://github.com/VeraTools/vera)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "veratools-vera"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/veratools-vera` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/veratools-vera/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt