Repository
VeraTools/vera agent skills
- skills
- 2
- GitHub stars
- 118
GitHub 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.”
- Stars
- 118 (15 forks)
- Licence
- MIT
- Last push
- Sep 2026
- Created
- Mar 2026
- bm25
- cli
- code-search
- code-search-engine
- cross-encoder
- embeddings
- local
- mcp
- mcp-server
- onnx
- rag
- reranking
- retrieval
- rust
- semantic-search
- semantic-search-engine
Install all skills
npx skills add VeraTools/veraAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in VeraTools/vera, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Vera Code search over the current repository. An agent skill from VeraTools/vera. | VeraTools/ | 118 | — | ~1.2k | Automated safety check: Pass | MIT | 7 days ago |
| 2 | 2.Vera Code search over the current repository. An agent skill from VeraTools/vera. | VeraTools/ | 118 | — | ~825 | Automated safety check: Pass | MIT | 7 days ago |
Questions, answered from the data.
What is the best skill in VeraTools/vera?
Vera from VeraTools/vera ranks first of the 2 skills in VeraTools/vera listed here, with the highest score: its repository has 118 GitHub stars, its SKILL.md loads about 1.2k tokens and it passes the automated safety check with no findings. Next come Vera.
Are the skills in VeraTools/vera official?
None yet. All 2 skills in VeraTools/vera listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from VeraTools/vera?
Run npx skills add VeraTools/vera in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.