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.
☆97May 13, 2026Updated 2 months ago
Alternatives and similar repositories for Vera
Users that are interested in Vera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nextjs RCE Exploit Kit☆147Jun 18, 2026Updated 3 weeks ago
- Strict Red-Green-Refactor CLI gate for coding agents☆23May 28, 2026Updated last month
- Zero-instrumentation LLM API and MCP tracer for your agents powered by eBPF — latency, tokens, and tool use in realtime☆18Mar 16, 2026Updated 3 months ago
- Pi extension that adds a run_live_terminal tool and a live tmux widget inside Pi.☆35Jun 18, 2026Updated 3 weeks ago
- Reflex - The instant, code-aware local search engine.☆67Jul 6, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Workflow transpilation and execution framework - import LangChain, Airflow, GitHub Actions, Kubernetes, Docker Compose☆26Jan 21, 2026Updated 5 months ago
- Local browser agent: MLX + Chrome DevTools Protocol. Handles cross-origin iframes, Shadow DOM, ProseMirror. Runs on Apple Silicon, no clo…☆23Jul 1, 2026Updated last week
- A CLI in Rust to generate synthetic data for MLX friendly training☆26Jan 13, 2024Updated 2 years ago
- ☆28Updated this week
- The Private Agent OS — search files, run AI agents, connect to 10,000+ tools via the complete protocol stack (MCP, AG-UI, A2UI, A2A). Zer…☆20Updated this week
- ☆11Feb 23, 2024Updated 2 years ago
- ☆31Updated this week
- Connect, query, and explore your databases without leaving your Neovim☆21Sep 14, 2025Updated 10 months ago
- semantic search for your local files find by meaning, not keywords. 120+ file types, OCR, MCP server for AI agents. 100% private.☆65Feb 19, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Full Claude agent, completely contained, one command.☆54Mar 23, 2026Updated 3 months ago
- PyTorch-equivalent deep learning framework in pure Rust — 22 crates, CUDA GPU, vision, LLMs, ONNX, autograd, distributed training☆28Jun 28, 2026Updated 2 weeks ago
- Give your agent a proper IDE and OS. The sensorimotor cortex for coding agents (OpenCode + Pi), part of CortexKit: symbol-aware edits, se…☆198Updated this week
- Open-source, local-first AI dictation for Windows and macOS. Hold a hotkey, speak, and Verenu types for you using local models or your ow …☆15Jul 5, 2026Updated last week
- Semantic memory for AI agents. Local-first, MCP-native.☆35Mar 30, 2026Updated 3 months ago
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- Free offline noise suppression, transcription & meeting recording -- runs locally, no cloud☆21Jun 24, 2026Updated 2 weeks ago
- Three.js -> TSL -> Raymarching Clouds -> Tornado☆41Nov 29, 2025Updated 7 months ago
- Ell + Ollama = ❤️ ❤️ ❤️ Local Llama Hacking☆85Sep 30, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Execute shell commands in persistent zmx sessions from pi☆18May 21, 2026Updated last month
- Simple Scala template with cross-version and multi-target compilation☆12Jun 16, 2023Updated 3 years ago
- A lightweight, in-memory Redis clone built in Go🐹 over raw TCP, implementing core Redis functionality including transactions, pub/sub, e…☆13May 4, 2025Updated last year
- An associative memory you can run anywhere. Write facts in plain language, recall them by meaning. No tables, no schema, no embeddings, n…☆71Updated this week
- InnerZero desktop app releases☆16Jul 4, 2026Updated last week
- privacy-first context graph engine for AI agents and human teams.☆30Jun 23, 2026Updated 3 weeks ago
- ☆16Nov 6, 2021Updated 4 years ago
- Frontend for Uplink☆12Apr 22, 2025Updated last year
- A small extension that sets you at the top of the last response with a few keymaps to move around☆26Apr 29, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- private-machine is an AI companion system with emotion, needs and goals simulation. Very silly, not based on real science.☆36Apr 5, 2026Updated 3 months ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 5 months ago
- ☆18Updated this week
- Tree-based, vectorless document RAG framework. Connect any LLM via URL/API key.☆40Apr 7, 2026Updated 3 months ago
- The hearth of The Pulsar App, fast, secure and shared inference with modern UI☆58Dec 1, 2024Updated last year
- Instantly understand any codebase. One command, zero API keys, works fully offline. Auto-detects 20+ project types, maps architecture, an…☆29May 20, 2026Updated last month
- ☆12Dec 25, 2023Updated 2 years ago