docs: update all documentation for antfly migration

Part 1.6 of antfly migration:

README.md:
- Add Docker/Antfly to prerequisites
- Add `dev setup` to quick start and install sections
- Update tech stack: LanceDB → Antfly, @xenova → Termite

CLAUDE.md:
- Update mission description with hybrid search
- Update monorepo structure (Antfly not LanceDB)
- Add `dev setup` to commands and workflow
- Update non-negotiables (Termite not @xenova)
- Update dev_search description (hybrid search)

Doc site:
- install.mdx: Add Docker prerequisite, `dev setup` section
- quickstart.mdx: Add setup step, update under-the-hood explanation
- architecture.mdx: Replace LanceDB with Antfly throughout,
  update diagrams, data flow, storage, and security sections

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: prosdev

CLAUDE.md

@@ -4,7 +4,8 @@
 
 **Local-first repository context for AI tools — no hallucinations.**
 
-Semantic search, code analysis, and GitHub integration through MCP.
+Hybrid search (BM25 + vector), code analysis, and GitHub integration through MCP.
+Powered by [Antfly](https://antfly.io) for search and embeddings.
 Everything runs on your machine. No data leaves.
 
 ---
@@ -20,7 +21,7 @@ Everything runs on your machine. No data leaves.
 
 ```
 packages/
-  core/          # Scanner (ts-morph, tree-sitter), vector storage (LanceDB), services
+  core/          # Scanner (ts-morph, tree-sitter), vector storage (Antfly), services
   cli/           # Commander.js CLI — dev index, dev mcp install, etc.
   mcp-server/    # MCP server with 9 built-in adapters
   subagents/     # Coordinator, explorer, planner, PR agents
@@ -59,6 +60,7 @@ pnpm format               # Biome format
 pnpm dev                  # Watch mode
 pnpm clean                # Clean build outputs
 pnpm changeset            # Document changes for release
+dev setup                 # One-time: start Antfly search backend
 ```
 
 ---
@@ -70,7 +72,7 @@ pnpm changeset            # Document changes for release
 - **Workspace protocol** for internal deps: `"@prosdevlab/dev-agent-core": "workspace:*"`
 - **Tests run from root only:** `pnpm test` — centralized Vitest config.
 - **Logger:** Use `@prosdevlab/kero` — never `console.log` in packages.
-- **Local-first:** No data sent externally. Embeddings via @xenova/transformers.
+- **Local-first:** No data sent externally. Embeddings via Antfly/Termite (local ONNX).
 - **Code review before PR.** Always run the `code-reviewer` agent (which
   launches security-reviewer, logic-reviewer, and quality-reviewer in
   parallel) on the branch diff before creating a pull request. Address
@@ -113,7 +115,7 @@ See `.claude/da-plans/README.md` for status and format details.
 
 | Tool | Purpose |
 |------|---------|
-| `dev_search` | Semantic code search (use FIRST for conceptual queries) |
+| `dev_search` | Hybrid code search — BM25 + vector + RRF (use FIRST for conceptual queries) |
 | `dev_refs` | Find callers/callees of functions |
 | `dev_map` | Codebase structure with change frequency |
 | `dev_history` | Semantic search over git commits |
@@ -142,6 +144,7 @@ See `.claude/da-plans/README.md` for status and format details.
 ```bash
 # Common workflows
 pnpm install && pnpm build && pnpm test  # Full setup
+dev setup                                 # One-time: start Antfly
 dev index .                               # Index repository
 dev mcp install                           # Install for Claude Code
 dev mcp install --cursor                  # Install for Cursor

README.md

@@ -52,17 +52,17 @@ We benchmarked dev-agent against baseline Claude Code across 5 task types:
 # Install globally
 npm install -g dev-agent
 
-# Index your repository (initial indexing can take 5-10 minutes for large codebases)
+# One-time setup (starts search backend via Docker or native)
+dev setup
+
+# Index your repository
 cd /path/to/your/repo
 dev index .
 
 # Install MCP integration
 dev mcp install --cursor  # For Cursor IDE
 dev mcp install           # For Claude Code
 
-# Keep index up to date (fast incremental updates)
-dev update
-
 # That's it! AI tools now have access to dev-agent capabilities.
 ```
 
@@ -213,15 +213,18 @@ Check MCP server and component health.
 ### Prerequisites
 
 - [Node.js](https://nodejs.org/) v22 LTS or higher
-- [pnpm](https://pnpm.io/) v8.15.4 or higher
+- [Docker Desktop](https://docker.com/get-started) (recommended) or [Antfly](https://antfly.io) native binary
 - [GitHub CLI](https://cli.github.com/) (for GitHub features)
 
 ### Global Install (Recommended)
 
 ```bash
 npm install -g dev-agent
+dev setup    # One-time: starts search backend (Docker or native)
 ```
 
+`dev setup` handles everything — pulls the Docker image, starts the server, and verifies the connection. If Docker isn't available, it falls back to the native Antfly binary and offers to install it.
+
 ### From Source
 
 ```bash
@@ -363,11 +366,10 @@ dev-agent/
 - **TypeScript** (strict mode)
 - **ts-morph** / TypeScript Compiler API (TypeScript/JS analysis)
 - **tree-sitter** WASM (Go analysis, extensible to Python/Rust)
-- **LanceDB** (embedded vector storage)
-- **@xenova/transformers** (local embeddings)
+- **[Antfly](https://antfly.io)** (hybrid search: BM25 + vector + RRF, local embeddings via Termite)
 - **MCP** (Model Context Protocol)
 - **Turborepo** (monorepo builds)
-- **Vitest** (1500+ tests)
+- **Vitest** (1900+ tests)
 
 ## Development
 

website/content/docs/architecture.mdx

@@ -37,7 +37,7 @@ dev-agent is built as a TypeScript monorepo with specialized packages for differ
 │         │                 │                 │                       │
 │  ┌──────▼─────────────────▼─────────────────▼───────────────────┐   │
 │  │                    Vector Storage                             │   │
-│  │                      (LanceDB)                                │   │
+│  │                (Antfly — hybrid search)                       │   │
 │  └──────────────────────────────────────────────────────────────┘   │
 └─────────────────────────────────────────────────────────────────────┘
 ```
@@ -52,8 +52,8 @@ The foundation layer providing:
   - TypeScript/JavaScript via ts-morph
   - Go via tree-sitter WASM
   - Markdown via remark
-- **Indexer** — Converts code components to vector embeddings
-- **Vector Storage** — LanceDB for fast similarity search
+- **Indexer** — Sends code components to Antfly for embedding and storage
+- **Vector Storage** — Antfly for hybrid search (BM25 + vector + RRF)
 - **GitHub Integration** — Fetches and indexes issues/PRs via GitHub CLI
 
 ### @prosdevlab/dev-agent-cli
@@ -110,9 +110,8 @@ Centralized logging:
 | Build | Turborepo | Monorepo orchestration |
 | Testing | Vitest | 1500+ tests |
 | Linting | Biome | Fast linting/formatting |
-| Vector DB | LanceDB | Embedded vector storage |
-| Embeddings | @xenova/transformers | Local ML inference |
-| Model | all-MiniLM-L6-v2 | Sentence embeddings |
+| Search | [Antfly](https://antfly.io) | Hybrid search (BM25 + vector + RRF) |
+| Embeddings | Termite (via Antfly) | Local ONNX inference (bge-small-en-v1.5) |
 | Protocol | MCP | AI tool integration |
 | TS/JS Parser | ts-morph | TypeScript Compiler API |
 | Go Parser | tree-sitter WASM | Fast, portable parsing |
@@ -126,14 +125,10 @@ Source Code
     │
     ▼
 ┌──────────┐     ┌──────────┐     ┌──────────┐     ┌──────────┐
-│  Glob    │ ──▶ │  Parse   │ ──▶ │ Extract  │ ──▶ │  Embed   │
-│  Files   │     │   AST    │     │Components│     │ Vectors  │
+│  Glob    │ ──▶ │  Parse   │ ──▶ │ Extract  │ ──▶ │  Store   │
+│  Files   │     │   AST    │     │Components│     │ (Antfly) │
 └──────────┘     └──────────┘     └──────────┘     └──────────┘
-                                                        │
-                                                        ▼
-                                                  ┌──────────┐
-                                                  │ LanceDB  │
-                                                  └──────────┘
+                                          Antfly auto-embeds via Termite
 ```
 
 ### Query Flow
@@ -143,32 +138,24 @@ User Query: "Where is auth handled?"
     │
     ▼
 ┌──────────┐     ┌──────────┐     ┌──────────┐     ┌──────────┐
-│  Embed   │ ──▶ │  Vector  │ ──▶ │  Rank    │ ──▶ │  Format  │
-│  Query   │     │  Search  │     │ Results  │     │  Output  │
+│  Hybrid  │ ──▶ │BM25+Vec  │ ──▶ │  RRF     │ ──▶ │  Format  │
+│  Query   │     │  Search  │     │  Fusion  │     │  Output  │
 └──────────┘     └──────────┘     └──────────┘     └──────────┘
 ```
 
 ## Storage
 
-All data is stored locally in `~/.dev-agent/`:
+Data is stored locally by Antfly (default `~/.antfly/`) and dev-agent config in `~/.dev-agent/`.
 
-```
-~/.dev-agent/
-├── indexes/
-│   └── <repo-hash>/
-│       ├── code.lance/        # Code vector index
-│       └── metadata.json      # Index metadata
-├── github/
-│   └── <repo-hash>/
-│       ├── issues.lance/      # Issues vector index
-│       └── prs.lance/         # PRs vector index
-└── config.json                # Global config (optional)
-```
+Antfly manages its own storage, indexes, and embeddings. dev-agent creates three tables:
+- `dev-agent-{project}-code` — code components
+- `dev-agent-{project}-git` — git commit history
+- `dev-agent-{project}-github` — GitHub issues/PRs
 
 ## Security
 
 - **100% Local** — No data sent to external services
 - **No Cloud** — All processing happens on your machine
-- **Embeddings** — Generated locally via @xenova/transformers
+- **Embeddings** — Generated locally via Antfly's Termite engine (ONNX)
 - **GitHub Data** — Fetched via authenticated GitHub CLI
 

website/content/docs/install.mdx

@@ -3,7 +3,7 @@
 ## Requirements
 
 - **Node.js 22+** (LTS recommended)
-- **pnpm**, **npm**, or **yarn**
+- **[Docker Desktop](https://docker.com/get-started)** (recommended) or [Antfly](https://antfly.io) native binary
 - **Cursor** or **Claude Code** (for MCP integration)
 
 ## Install dev-agent
@@ -29,6 +29,23 @@ Verify the installation:
 dev --version
 ```
 
+## One-time setup
+
+Run `dev setup` to start the search backend:
+
+```bash
+dev setup
+```
+
+This does three things:
+1. **Checks for Docker** (preferred) or native Antfly binary
+2. **Starts the Antfly server** — handles hybrid search and embeddings locally
+3. **Verifies the connection** — confirms everything is working
+
+If Docker isn't available, `dev setup` falls back to the native binary and offers to install it.
+
+> **What is Antfly?** [Antfly](https://antfly.io) is the search engine that powers dev-agent. It runs locally on your machine — your code never leaves. It provides hybrid search (BM25 keyword matching + vector similarity) which is significantly better than pure vector search for code.
+
 ## Setup for Cursor
 
 ### 1. Index your repository
@@ -40,8 +57,6 @@ cd /path/to/your/project
 dev index .
 ```
 
-This creates a local vector database in `~/.dev-agent/indexes/`.
-
 ### 2. Install MCP integration
 
 ```bash

website/content/docs/quickstart.mdx

@@ -5,15 +5,19 @@ Get from zero to semantic search in 5 minutes.
 ## Prerequisites
 
 - Node.js 22+ installed
+- Docker Desktop (recommended) or Antfly native binary
 - Cursor IDE (or Claude Code)
 - A code repository to index
 
-## Step 1: Install dev-agent
+## Step 1: Install and setup
 
 ```bash
 npm install -g @prosdevlab/dev-agent
+dev setup
 ```
 
+`dev setup` starts the search backend (via Docker or native). One-time step.
+
 ## Step 2: Index your repository
 
 ```bash
@@ -70,15 +74,14 @@ Try these prompts:
 
 When you run `dev index .`:
 
-1. **Scanner** parses your code using the TypeScript Compiler API
+1. **Scanner** parses your code using the TypeScript Compiler API (ts-morph) and tree-sitter (Go)
 2. **Extractor** identifies functions, classes, interfaces, types, arrow functions, hooks, and exported constants
-3. **Embedder** generates vector embeddings locally (MiniLM-L6-v2)
-4. **Storage** saves everything to LanceDB (`~/.dev-agent/indexes/`)
+3. **Storage** sends documents to Antfly, which generates embeddings locally via Termite (ONNX)
 
 When AI tools call `dev_search`:
 
-1. **Query** gets embedded using the same model
-2. **Vector search** finds semantically similar code
+1. **Hybrid search** runs BM25 (keyword matching) + vector similarity in parallel
+2. **RRF fusion** combines both signals into a single ranked result set
 3. **Formatter** returns results optimized for LLM context windows
 
 ## Next Steps