Install · Scenarios · New in 0.7.0 · Why? · How it works · Benchmarks · Docs site
Find anything on your machine.
Smart semantic search, fast enough to feel instant. Ask in plain English — or any of 100+ languages — and get back the right file and line range in about a second, even when the working directory isn't the right project. Fully offline.
Semantic search for code, PDFs, notes, and docs. Fully offline. No cloud. No telemetry. No subscription. Ask in plain English (or any of 100+ languages) and get the right file + line range. Scoped location and lexical-friendly queries usually return sub-second; deeper semantic retrieval stays bounded and reports its route while it works.
$ skygrep "where does the auth token get refreshed?"
═══ auth/middleware.py:78-94 score 0.91 · python
async def renew_session(req: Request):
# swap the access cookie when the refresh JWT is still valid
if req.cookies.get("rt") and access_expired(req):
return await refresh_token(claims, key)
╰─ done 0.5s · quality=BEST
path : cosine-cheap (high-confidence early-exit)
evidence : σ-gap=0.082 ≥ τ=0.005 (adaptive)
Install in 30 s → · How it works → · Benchmarks →
30 / 30 public-OSS recall (fully-indexed) · +30 % lazy auto-trigger over
rgcold-start (0.5.3) · bounded wrong-path discovery via proactive umbrella · ~1 s warm queries · 100 % local · 50 releases shipped
Three ways people use it
🧠 Code by concept
Find code by what it does, not what it's called. The semantic
substrate (bge-m3) bridges your phrasing to the actual identifier
even when the function name uses different words.
$ skygrep "where does session refresh logic live?"
→ auth/middleware.py:78 · renew_session()
No
rghit for "session refresh"; semantic retrieval bridges torenew_sessionfrom the project index.
📄 Cross-content
One query across code, PDFs, notes, and docs. Markdown, PDF, Word, plain text — all indexed via the same content-agnostic substrate. Your query searches all of them at once, ranked by semantic relevance.
$ skygrep "the design doc on rate limiter rewrite"
→ docs/rate-limiter-redesign.md · designs/q3-rewrite.pdf
Markdown link graph + PDF text-layer extraction in one cascade.
🌐 Multilingual · private
bge-m3 understands 100+ languages out of the box. Index,
retrieval, ranking, optional answer synthesis — all run locally
via Ollama. Zero network calls.
$ skygrep "我昨天写的 cascade 调度代码"
→ src/storage.py:847 · cascade_search()
Mixed Chinese / English query. Zero network. Audit-friendly.
New in 0.7.0 (built on 0.6.x)
0.7.0 turns high-risk local retrieval into an explicit, fail-closed contract.
skygrep --strict combines hybrid candidate recall with an independent
corpus-wide semantic pass, verifies that the indexed source still matches the
file on disk, emits strict_verification, and exits 2 when the evidence is
still inconclusive.
Direct and daemon agent-context calls now execute the same evidence pipeline.
The daemon validates project/index boundaries, while macOS /var and
/private/var aliases are coalesced without double-counting lexical evidence.
Pull-request CI runs a deterministic six-task contract benchmark: the release
fixture preserved 100% path coverage, evidence coverage, and sufficiency while
using about 4.05× less context and 6 tool calls instead of 99 for that fixed,
modeled raw-rg fixture. It is a regression receipt, not a general multiplier;
the pinned six-repository methodology lives in
docs/general-performance.md.
The 0.5.x foundation remains: less ceremony from you, more intelligence from the tool.
🚀 Just ask — no skygrep index .
The first query in a fresh repo works. A background process builds
the semantic index while a rg fallback handles your first turn;
from the second query on, the full cascade is online.
$ cd /path/to/brand-new-project
$ skygrep "how does auth handle expired tokens?"
→ src/auth/token.py:140 · refresh_or_redirect()
Cold-start vocabulary-mismatch: 0/10 → 4/10 over plain
rgon the Django oracle bench (0.5.3, real-CLI verified).
🧭 Smart from the wrong folder
Run skygrep from /tmp and ask about a real project. The router
dispatches two retrieval lanes in parallel; a proactive umbrella
that searches sibling roots in SKYGREP_PROACTIVE_DIRS can answer
before the cascade has time to run its first rerank.
$ cd /tmp/scratch
$ skygrep "where does the parallel umbrella dispatch?"
→ ~/code/skylakegrep/src/cli.py:912 · cascade ‖ proactive umbrella
Wrong-cwd discovery is bounded. Set
SKYGREP_PROACTIVE_DIRSor pass an explicit scope when an agent already knows where to look.
🧠 Streaming intelligent routing
Each query is classified by a local LLM router (qwen2.5:3b) for
intent / scope / primary token, then dispatched to multiple lanes
in parallel. Each result lands tagged with the route it came from
and the still-searching status of the others — never silent, always
honest about what's pending.
$ skygrep "the design doc on rate limiter rewrite"
├─ proactive umbrella · filename glob
│ cascade still searching
═══ docs/rate-limiter-redesign.md:1
╰─ done 0.4s · quality=BEST
path : proactive + cascade
router : llm -> intent=mixed
Confidence-streaming: results stream as they're ready, tagged with the route they came from. Each answer's provenance is auditable.
🔍 Why this matched · skygrep -x (new in 0.5.8)
Every retrieved chunk now carries the full provenance of how it got
there. Pass --explain (or -x) and skygrep prints a one-line
router rationale at the top, a per-result via: line under
each header showing which channel(s) contributed, and a cascade-lane
summary showing the σ-adaptive evidence at the bottom. No new model
calls, no extra retrieval — every signal was already in the pipeline.
$ skygrep -x "find pyproject.toml in this repo"
├─ route router: filename · primary_token="pyproject.toml" · conf=0.95 · source=llm
│ reason: "user is looking for a specific file by name in the repo"
╭─ pyproject.toml ────────────────────────────────── [toml] 1.000
│ via: filename-lookup · token "pyproject.toml" · score=1.000
│
│ size: 1.0 KB modified: 2026-05-06 16:51 type: toml
╰──────────────────────────────────────────────────────────────────
├─ cascade lane: cosine-cheap (gap=0.037, tau=0.016)
Three layers answer three different "why" questions: what intent the LLM router inferred, which channel retrieved this chunk (cosine cascade · symbol RRF · filename-lookup · ripgrep shortcut), and which lane answered. Bonus 0.5.8: if Ollama isn't running, skygrep starts it in the background and tells you — no more silent rule-based fallbacks.
Why skylakegrep?
Sized against four named alternatives, not generic categories.
How it works
Local Ollama + SQLite. Zero network calls. Zero subscription. The same architecture handles every content type — code · PDFs · notes · markdown · any file you register an extractor for.
The LLM router classifies intent + scope + primary token on every query. Two retrieval lanes then race in parallel — not in series:
- σ-adaptive cosine cascade — when the working directory is
indexed and right,
bge-m3(multilingual, 1024-d, symmetric XLM-RoBERTa) ranks files; high-confidence queries early-exit on cheap cosine, uncertain ones escalate to a cross-encoder rerank. A tree-sitter symbol channel and hybrid lexical RRF fusion fold in alongside, with a reference-graph PageRank tiebreak. - Proactive umbrella — four tiers run concurrent with the
cascade (not after it):
filename_extendfor fast filename matching,lazy_cwdfor auto-indexing the current folder,lazy_cross_folderfor sibling roots inSKYGREP_PROACTIVE_DIRS, and a streaming dispatcher that posts each answer as it lands.
The first confident answer streams to your terminal — refinements arrive as later lanes finish. ~1 s typical, even when the working directory is the wrong project (0.5.7, real-CLI verified).
How skylakegrep differs from Elasticsearch
For people asking "why not just use ES?"
Different niche, different design. Elasticsearch is a multi-tenant, TB-scale, distributed search engine for data centers. skylakegrep is a single-user, single-machine, zero-ops CLI for a developer asking their own laptop a question. Both can be called "search engines"; they answer different problems.
| skylakegrep 0.7.0 | Elasticsearch | |
|---|---|---|
| Setup | python3 -m pip install --user skylakegrep; cold-start lazy auto-trigger |
JVM, cluster, mappings, ingest pipeline, dense-vector plugin, reindex |
| Semantic retrieval | bge-m3 (1024-d, 100+ languages) via local Ollama, out of the box | Manual: pick embedder, pipeline, dimension, reindex |
| Intent understanding | qwen2.5:3b LLM router classifies intent / scope / primary token per query | None natively; you write query DSL by hand |
| Code AST awareness | tree-sitter symbol channel, RRF-fused with cosine | None; code is plain text |
| Cold-start / wrong-folder | lazy_cwd + lazy_cross_folder 4-lane parallel umbrella, ~1.1 s |
Empty index = 0 results |
| Why-this-matched explainability | --explain shows router rationale + channel breakdown + lane evidence |
BM25 highlight only |
| High-risk local verification | --strict requires independent hybrid/semantic agreement plus indexed-source freshness; inconclusive evidence exits 2 |
Application-specific validation required |
| Cross-file context | reference-graph PageRank tiebreak | None |
| Privacy / offline | 100 % local by design | Index can be local, but most embeddings are external API calls |
| Latency p95 (single repo, 50k files) | 0.3 – 1.1 s including LLM router | ms-level after you've paid the operational cost |
| Scale | single-machine, single-repo sweet spot | billions of docs, multi-shard, distributed |
| Multi-tenant / ACL | not designed for this | first-class |
| Aggregations / facets / time-series | not designed for this | first-class |
| Operational cost | zero (no daemon, no GC tuning, no shard rebalance) | non-trivial (GC, heap, shard rebalance, monitoring) |
Where skylakegrep wins: "I just opened my terminal and want to find something on my own machine." Easier, more semantic, more code-aware, more private — and now (0.5.8) it can also tell you why it picked each result.
Where Elasticsearch wins: anything that needs scale, multi-tenant isolation, faceted aggregations, or production-grade replication. We don't try to compete in those rooms.
ES is the search engine of the data center. skylakegrep is the search engine of your developer terminal.
Install
# 0. confirm Python 3.9+ is available
python3 --version
# 1. install with the same Python that will own the CLI
python3 -m pip install --user skylakegrep
# 2. pull the local models, one command per model
ollama pull bge-m3
ollama pull qwen2.5:3b
# 3. verify runtime, models, install path, and index state
skygrep doctor
# 4. (one time) register skygrep with your LLM CLI of choice
skygrep setup # Claude Code · Codex · OpenCode · Gemini CLI · Pi · Cursor
# 5. ask anything, anywhere
skygrep "your question here"
skygrep setup writes a short agent rule into Claude Code, Codex,
OpenCode, Gemini CLI, Pi, and Cursor when detected. The rule tells the
agent which depth to request: path-only --no-content --top 10 --no-rerank for implementation
anchors, first-pass --content --detail standard --top 8 --no-rerank for source snippets,
--detail full only after narrowing, --answer for local synthesis,
and --json plus --include for machine-readable scoped tool calls.
Re-running skygrep setup refreshes the
managed block when these instructions improve. After an upgrade, normal
skygrep searches and skygrep doctor also refresh already-registered
managed blocks automatically; new integrations still require an explicit
skygrep setup.
On macOS, python may not exist; use python3. If skygrep installs but
the shell cannot find it, inspect:
python3 -m site --user-base
which -a skygrep
python3 -m pip show skylakegrep
The user-site script commonly lives under
~/Library/Python/3.x/bin/skygrep; add that bin directory to PATH
or use a virtual environment.
export PATH="$(python3 -m site --user-base)/bin:$PATH"
If setup gets tangled across multiple Python installs, reset cleanly:
# Remove LLM-CLI snippets written by `skygrep setup`.
skygrep setup --uninstall || true
# Remove the Python package from the Python that installed it.
python3 -m pip uninstall -y skylakegrep
# Optional: delete local indexes/config. This does not delete your files.
rm -rf ~/.skylakegrep
# Optional: remove downloaded Ollama models.
ollama rm bge-m3
ollama rm qwen2.5:3b
# Reinstall from a clean state.
python3 -m pip install --user --no-cache-dir skylakegrep
ollama pull bge-m3
ollama pull qwen2.5:3b
skygrep doctor
That's it. The first query in a fresh project completes in under
a second via a ripgrep fallback while a background process
builds the semantic index. Every query after that uses the full
cascade with the local LLM kept warm in memory.
Performance
The current release-scale performance contract is
General Benchmark v2: six public repositories
at exact commits, 60 source-evidence tasks, real tiktoken counting, paired
quality gates, measured retrieval latency, and repository-aware confidence
intervals. It publishes an efficiency multiplier only after skygrep is
non-inferior to rg-only on completion and retrieved-context quality.
The 2026-08-15 clean-source receipt passed those gates. Across the 53 / 60
unique tasks where both policies met the same quality floor, skygrep-first
returned 17.982× less tool context at the median (repository-aware 95% CI:
5.202×–94.127×) while retrieval-context quality was 92.5% versus 88.4%.
This is a paired retrieval-context result, not a universal runtime claim:
skygrep used more tool calls overall, and the quality-eligible median task was
slower in the measured harness even though all-row aggregate elapsed favored
skygrep. See the full result and boundaries and
the immutable raw receipt.
Two older results remain useful for regression history, but are not general performance claims:
- The 0.7.0 deterministic six-task CI fixture reported 4.05× less context than
a modeled raw-
rgloop with equal checked path/evidence coverage. It is a fast per-PR contract, not a cross-repository multiplier. - The earlier Django/React/Tokio parity page reported 30/30 top-10 recall and a 60×–770× context range against a deliberately broad term-OR dump. It used a legacy tokenizer/task protocol and moving repository tips, so the figures are retained only as a historical engineering receipt.
Reproduce the current pinned fixture and methodology with:
.venv/bin/python benchmarks/validate_public_fixtures.py \
--oss-root /tmp/skygrep-general-v2-repos --prepare
.venv/bin/python benchmarks/universal_closed_loop_benchmark.py \
--oss-root /tmp/skygrep-general-v2-repos \
--prepare --refresh-index --reset-index \
--index-timeout 18000 \
--trials 3 --tokenizer tiktoken \
--report /tmp/skygrep-general-v2.json --summary-only
See the current methodology and the historical parity receipt for their distinct claim boundaries.
Closed-loop agent benchmark (0.5.14)
0.5.14 extends the agent benchmark from one-shot context retrieval to a
closed-loop workflow: first find likely paths, then gather enough
evidence for the next reasoning step, then score whether the context is
sufficient for a downstream LLM to act. It compares a skygrep-first
policy (--json, scoped includes when known, path-only probes,
--no-rerank for first-pass evidence, direct file reads after
narrowing) against a raw-rg-only agent over 38 generic tasks across
this repo plus Django, React, and Tokio.
| Metric | skygrep-first |
raw rg-only |
|---|---|---|
| Tasks | 38 | 38 |
| Path coverage | 94.7 % | 100.0 % |
| Path precision | 10.9 % | 3.4 % |
| Evidence coverage | 99.1 % | 99.3 % |
| Sufficiency score | 96.5 % | 99.7 % |
| Completed tasks | 35 | 38 |
| Tool calls | 322 | 337 |
| Raw retrieval elapsed | 154.23 s | 327.73 s |
| Estimated agent elapsed | 161.68 s | 3833.97 s |
| Context tokens | 223,592 | 105,187,419 |
| Work quality / minute | 12.829 | 0.561 |
Historical reading: this 0.5.14 self + three-repository fixture reported
470× less context, 23.7× lower modeled agent elapsed, and 22.9×
higher modeled work-quality-per-minute. Those figures used a legacy task
contract in which many public path-only tasks had no literal evidence terms;
they are retained as a historical receipt, not as a current general claim.
Raw rg remains the raw-output ceiling when an agent truly needs every
lexical match. General Benchmark v2 replaces this headline with pinned public
fixtures, non-empty source evidence, exact tokenization, paired quality gates,
and confidence intervals. In 0.5.17, the first-pass
--agent-context parity bench closes the earlier recall gap on 30
repository-maintenance tasks by using rg as an internal bounded recall
lane instead of exposing raw grep output to the LLM.
Pull-request CI also runs benchmarks/ci_agent_contract_benchmark.py through
benchmarks/closed_loop_regression_gate.py. The six-task, model-free fixture
executes the real hybrid candidate-recall code and fails the build if path or
evidence coverage, sufficiency, context reduction, estimated agent elapsed,
or work-quality-per-minute drops below the checked thresholds. The larger
real-repository/Ollama benchmark remains the release-scale gate.
What you can search
The retrieval substrate is content-agnostic by design. The
embedder, the cascade, and the reference graph all abstract over
"A references B" — not over any specific programming language or
file format. New content types plug in via a one-line
register_extractor() call.
from skylakegrep.src.reference_graph import register_extractor
def yaml_anchor_extractor(path):
"""Return list of (source, target) reference edges."""
...
register_extractor("yaml", [".yaml", ".yml"], yaml_anchor_extractor)
Command cheatsheet
The bare form — skygrep "<your question>" — covers ~95 % of
real-world use. No subcommand, no flags. The system auto-routes
(LLM router → find / rg / semantic cascade), auto-indexes on
first query, and auto-recovers when the embedder is upgraded.
Choose the right information depth
The same natural-language question can ask for different levels of evidence. Keep the first query cheap; only ask for more depth when the task needs it.
| Goal | Command |
|---|---|
| Locate the file or folder quickly | skygrep "where is the project brief I edited recently?" |
| Show relevant source/document snippets | skygrep --content --detail standard "what does the API migration plan say about rollback?" |
| Read deeper after narrowing to one path | skygrep --content --detail full --include "docs/migration-plan.md" "show the deployment steps" |
| Quick deep-read shorthand | skygrep --detail "show the deployment steps" |
| Synthesize a local answer from retrieved evidence | skygrep --answer --content "summarize the payment retry policy" |
| Fast path anchors for an LLM agent | skygrep --agent-fast "where is token refresh implemented?" |
| Feed compact structured context to an LLM agent | skygrep --agent-context --include "src/**" "where is token refresh implemented?" |
| Verify a high-risk local claim | skygrep --strict "where is authorization enforced?" — hybrid recall + an independent corpus-wide semantic pass + indexed-source freshness; exits 2 when still inconclusive. |
| Reuse a daemon for repeated agent calls | skygrep serve --port 7878 then skygrep --agent-daemon --agent-context "what does token refresh do?"; add --warm-reranker only when later reranked queries justify the memory/startup cost |
| Audit why a route/result was chosen | skygrep --explain "where is token refresh implemented?" |
Option playbook for humans and agents
Choose options by the kind of answer the next step needs, not by habit. The best call is usually the shallowest call that can produce enough evidence.
| Problem shape | Use | Why |
|---|---|---|
| "Where is X?" / "Which file handles X?" | skygrep --agent-fast "where is token refresh implemented?" |
Path-only, high-recall anchors; cheap first pass for agents. |
| "What does X say about Y?" | skygrep --agent-context "what does the migration plan say about rollback?" |
Fast first-pass snippets and line ranges without dumping full files. Re-run without the preset only if rerank is needed for ambiguity. |
| "Read this known file/folder deeply" | skygrep --content --detail full --include "docs/migration-plan.md" "show the deployment steps" |
Full depth only after scope is known; avoids repo-wide context blowups. |
| "Summarize / answer from local evidence" | skygrep --answer --content "summarize the payment retry policy" |
Retrieves evidence first, then synthesizes locally through Ollama. When a living policy/reference document leads, unrelated snapshots and planning notes are excluded unless the query names them. |
| "An LLM/agent will consume this" | skygrep --agent-context --include "src/**" "where is token refresh implemented?" |
Machine-readable, compact, and scoped; do not scrape human terminal output. |
| "This local claim is high-risk" | skygrep --strict "where is authorization enforced?" |
Implies agent context and emits strict_verification; exit 2 means the evidence must not be treated as verified. |
| "Several implementation files may matter" | skygrep --json --no-content --top 10 --no-rerank --no-llm-router --no-cascade "where is request routing assembled?" then read returned files |
Separates path discovery from file reading; improves closed-loop agent quality without paying router/cascade model calls. |
| "The query is broad or noisy" | Add --include, --exclude, --language, or run from the relevant project root |
Scope is the largest latency and accuracy lever. |
| "I need to audit routing" | skygrep --explain "why is this policy selected?" |
Shows router intent, contributing lanes, and cascade evidence. |
| "I need exact regex output" | Use rg directly |
skygrep is for natural-language search, not regex authoring. |
Closed-loop agent policy:
- Start with
skygrep --agent-fast "<query>"for implementation location questions, orskygrep --agent-context "<query>"when the next reasoning step needs source text. Agent context now automatically fuses path tokens, symbols, bounded ripgrep recall, source-type priors, and compact chunk evidence; the caller does not need to manually choose a fallback lane. - If the caller already knows the repo, folder, or file, add
--include "<scope/**>"immediately. Scoped calls are faster and reduce false positives. - Read candidate files directly when the agent has a file-read tool.
Use
--detail full --include "<path>"only when direct reads are unavailable or skygrep extraction is needed for PDFs, docx, or other parsed documents. - Use
--answeronly when the user asked for a synthesized answer. For code modification tasks, prefer source evidence over synthesis. - Use bounded
rg -l/ targetedrgonly when exact lexical/regex matching is required or when you need raw grep output. Low-confidence agent results includeagent_summary,confidence_basis,why_ranked, and a targeted follow-up probe so the next step can stay scoped. - For security, release, legal, financial, destructive, or other high-risk
local claims, use
--stricteven when the first-pass quality isbest. Strict mode independently checks corpus-wide semantic agreement and source freshness; onlystrict_verification.status=passedis a verified result.
For repeated GPT / Cloud Code / Superconductor-style tool calls, keep
the process available with skygrep serve --port 7878 and call
skygrep --agent-daemon --agent-fast ... or
skygrep --agent-daemon --agent-context .... --agent-daemon uses
SKYGREP_DAEMON_URL when set, otherwise http://127.0.0.1:7878, and
falls back in-process if no daemon is running. The server binds before any
optional reranker load and does not warm that heavyweight dependency by
default. Use skygrep serve --warm-reranker when the workload actually uses
reranking and you want to pay the warmup once in the background. Direct and
daemon --agent-context requests use the same hybrid evidence implementation,
so daemon speed no longer trades away candidate-recall lanes or agent summaries.
Agent presets default to rule-based routing, no cascade, and confidence-aware
first-pass evidence for bounded latency. If the compact evidence is degraded,
--agent-context can add one cheap semantic file-rank pass; add
--llm-router, --cascade, or rerank only when ambiguity is worth paying a
local model call or deeper semantic refinement.
Agent rule of thumb: run from the relevant project root, or pass
--include / --lexical-root when the scope is known. Start bare for
where / locate / which file questions; add --content for what
does it say / explain / summarize questions; add --json whenever
another LLM will consume the result. Avoid broad home-directory semantic
queries unless the user really wants cross-folder discovery; they are now
bounded, but scoped queries are both faster and more accurate.
Reading the per-query telemetry footer (0.2.2+)
Every search prints a structured workflow footer so you can see which retrieval path answered your query and why without parsing a long line:
╰─ done 0.42s · quality=BEST
path : cosine-cheap (high-confidence early-exit)
router : llm -> intent=mixed (0.83)
evidence : σ-gap=0.0820 ≥ τ=0.0050 (adaptive)
pool : 1 filename + 0 lexical · cascade
index : 20s ago · 36 files · L2 symbols + graph prior
Field guide:
path=—cosine-cheap/cosine-escalated-rerank/rg-only/cascade-skipped. The retrieval strategy this specific query took.σ-gap=… → reason— Bayesian-evidence proxy that drove the cascade decision. High σ-gap = top-K candidates well separated → cosine trusted, exit cheap. Low σ-gap = candidates tied → escalate to rerank.recovery=…(only when the recovery worker is active) — live progress + ETA for the in-progress re-embed.quality=BEST/DEGRADED-recovery— at-a-glance trust indicator.
Configuration
Set via environment variables. Defaults work — tune only when you need to. Grouped into three panels: Ollama setup, Indexing & rerank, Behavior toggles.
Cold-start lazy semantic search is intentionally budgeted. If a first
query says it hit the foreground budget, either scope the query
(--include "docs/**" / run from the right project root) or
raise the foreground knobs:
export SKYGREP_COLD_LAZY_TOTAL_BUDGET_S=15
export SKYGREP_COLD_LAZY_CWD_BUDGET_S=10
export SKYGREP_COLD_LAZY_CROSS_BUDGET_S=4
export SKYGREP_COLD_LAZY_SEED_BUDGET=24
The default stays conservative so broad home-folder searches cannot block the terminal for minutes. Background indexing continues after the foreground budget expires.
Full and incremental indexing batch chunks across file boundaries so small
files share embedding requests. SKYGREP_INDEX_BATCH_SIZE controls the bounded
batch size (default 64, clamped to 1..512) for unusual local-model or memory
constraints.
Interactive terminals animate only the narrow left workflow rail during
foreground semantic waits. The rail uses a three-cell particle stream with
blue/cyan/white coloring; captured output, --json, logs, and agent
tool calls stay stable. Turn it off if you prefer fully static progress:
export SKYGREP_UI_ANIMATION=off
The result workflow rail stays compact and copyable by default. To force an alternate rail:
export SKYGREP_UI_RAIL=tree # or: helix
The helix rail replaces box connectors with a denser three-cell rotating
particle field (• ·, ·•, · •, •· ) plus a slim separator line, so
the workflow itself reads like one continuous vertical particle stream
through progress, results, and the final routing footer.
Interactive terminals show Nerd Font step icons by default. Disable them if your terminal font does not support patched glyphs:
export SKYGREP_UI_ICONS=off
Captured output and agent/tool paths keep plain labels unless icons are explicitly requested.
Release history
Recent releases (in reverse chronological order):
0.7.3— Open-source distribution release. Relicenses the project to Apache-2.0 (#14), fixesindex/watch/--resetso the DB follows the target path instead of CWD (#15), and aligns live docs + packaging sopip install skylakegrepno longer advertises the old noncommercial license. Existing indexes remain compatible.0.7.2—skygrep setupnow detects and registers with Pi (pi-coding-agent) via~/.pi/agent/AGENTS.md, alongside Claude Code, Codex, OpenCode, Gemini CLI, and Cursor. Additive only; existing indexes and the other agents' files are untouched.0.7.1— Bug-fix release. The zero-vector fallback width now follows the configured embed model instead of a hard-coded 768, so a freshbge-m3index can no longer pick up wrong-width zero vectors (observed 20/1304 chunks silently unsearchable). Three spurious BLASRuntimeWarnings per query on numpy 2.0 + Apple Accelerate are silenced; scores are unchanged. Existing indexes remain compatible.0.7.0— Fail-closed--strictverification for high-risk local claims, a shared direct/daemon agent-context implementation, daemon project-boundary validation, macOS path-alias coalescing, and a continuous six-task accuracy/performance regression gate. The deterministic fixture completed 6/6 tasks with 100% path, evidence, and sufficiency coverage, about 4.05× less context, and 6 tool calls instead of 99 for that fixed modeled raw-rgfixture. General Benchmark v2 now keeps this CI receipt separate from cross-repository claims. Existing indexes remain compatible.0.6.0— Batched indexing, bounded daemon startup, calibrated agent confidence, and authority-aware answer synthesis. Fresh indexing on the same repository dropped from 624.44 s to 74.71 s (8.36× faster), while the final medium closed-loop run completed 8/8 tasks with 100% path and evidence coverage and 100% sufficiency.skygrep servebinds before optional reranker initialization; use--warm-rerankeronly when later reranked queries justify it. Existing indexes remain compatible.0.5.17— Hybrid agent recall, confidence bundles, and refreshed LLM instructions.--agent-contextnow treats boundedrg, path tokens, symbols, chunk text, source-type priors, and symbol anchors as one automatic recall substrate, then returns compact JSON withagent_summary,why_ranked,evidence_bundle,source_type, andevidence_terms. The managedskygrep setupsnippet is bumped toagent-guidance-v4so Claude/Codex/OpenCode/Gemini/Cursor learn to trust the automatic hybrid path, inspect confidence first, and reserve rawrgfor exact regex/raw-output needs. Fresh parity validation on 30 real repository-maintenance tasks reached 30/30 hit rate vs real ripgrep while using 22.28× less context, 19.61× fewer estimated total tokens, and 30 tool calls instead of 179.0.5.16— Bounded agent latency and stronger scoped evidence. Machine-readable agent calls now get explicit router/model/cascade budgets, skip heavyweight foreground refresh lanes, and return a top-8 compact evidence pack by default through--agent-context. Slow local model calls degrade to fallback behavior instead of blocking an LLM tool loop, low-evidence JSON candidates are filtered before reaching the caller, and cold lazy indexing walks large directories incrementally under the foreground budget while background indexing continues.0.5.15— First-class agent presets, setup-status checks, benchmark-gate enforcement, and PyPI Trusted Publishing workflow.--agent-fastnow expands to the documented JSON path-anchor call,--agent-contextexpands to the documented top-8 compact evidence call, and--agent-daemonmakes daemon-first repeated agent calls explicit.skygrep setup --checkreports stale managed instruction snippets without modifying user files, while normalskygrep setupand the existing auto-refresh path still update only managed BEGIN/END blocks. The newbenchmarks/closed_loop_regression_gate.pyturns saved closed-loop benchmark reports into machine-checkable release gates.0.5.14— Closed-loop agent instructions and daemon-first workflow. Public docs, setup snippets, and CLI help now teach agents to split path discovery from evidence gathering: use--json --no-content --top 10 --no-rerank --no-llm-router --no-cascadefor fast anchors, use--json --content --detail standard --top 8 --no-rerank --no-llm-router --no-cascadefor first-pass snippets, narrow with--include, read files directly when the agent has a file-read tool, and reserve rerank /--detail fullfor ambiguity or parsed documents. JSON path-only output now omits snippets under--no-content, and repeated agent calls are documented as daemon-first (skygrep serve+--daemon-url) to avoid repeated process/cold-load cost. The historical 0.5.14 38-task fixture reported 470× less context and 23.7× lower modeled agent elapsed than a rawrg-only policy, with 94.7 % path coverage and 96.5 % sufficiency. This is a historical fixture result; General Benchmark v2 is the current cross-repository claim boundary.0.5.13— Adaptive candidate recall for agent-grade context. Semantic and mixed queries now get a bounded, generic recall substrate before final cascade ranking: explicit include scope, indexed path tokens, indexed symbols, SQLite chunk text, and a smallrg -il -Flane can all vote files into the candidate pool. Content/agent calls receive a bounded same-file support pack so the downstream LLM sees proof, not just paths. Module-level text, constants, and long string anchors are indexed more reliably. The new agent tool-context benchmark shows 6.12× fewer tool calls, 37.74× less context, and 31.27× higher sufficiency density than a raw-rgagent baseline on 24 generic depth tasks.0.5.12— Bounded cold semantic routing and public example verification. Cold-start semantic search now enforces real foreground budgets for cwd and cross-folder lazy lanes, prunes hidden/dependency-cache trees before descent, runs ripgrep fallback in one bounded pass, and avoids cross-folder pollution when local semantic evidence exists. Agent examples now show scoped--includeusage, relative include globs work against absolute index paths, and--answerno longer adds missing-evidence caveats when retrieved sources directly answer.0.5.11— Fast scoped discovery plus Python 3.10 CI hotfix. This supersedes 0.5.10: the scoped descriptor + metadata file-discovery lane, background refresh deferral, honest wall-time footer, and automatic setup-instruction refresh remain the headline behavior, and the proactive enhancer now handles Python 3.10concurrent.futures.TimeoutErrorbudget exhaustion as telemetry instead of surfacing it as an exception in CI.0.5.10— Fast scoped file discovery and agent instruction depth. Scoped file-location queries that combine a concrete folder, target descriptors, and metadata modifiers now use a generic filesystem-evidence lane before semantic cascade, so path-depth answers can return in sub-second time without sacrificing semantic depth for content/answer queries. Large foreground refreshes defer to background indexing, footer timing now reports command wall time, andskygrep setupteaches Claude Code / Codex / OpenCode / Gemini / Cursor the information-depth ladder (--content,--detail full,--answer,--json). Existing managed setup snippets auto-refresh after upgrade without touching user-authored text.0.5.9— Generic adaptive routing and scoped search performance. Scope is now a first-class query-plan facet: folder / repo / workspace clauses are resolved to a concrete root and stripped from router text before fast-intent, LLM fallback, metadata, and lexical gates run. Metadata remains instant when it fully answers the query, but acts only as a modifier when the user also names a target. Scoped semantic and JSON/agent queries can now finish from strong lexical evidence without waiting for expensive cascade/rerank, while CJK and mixed-language scope forms such as在合同档案文件夹...are handled generically. Release validation covered 12 synthetic CLI cases, all under 0.9 s after the fix, with no private examples in public surfaces.0.5.8.7— Adaptive query-plan routing. Filesystem metadata is now ametadata_kind/metadata_terminalfacet instead of a mutually exclusive intent: pure metadata queries still return immediately, while composite queries use metadata only as a modifier/reranker and continue through filename, lexical, and semantic retrieval. Addscreatedmetadata, CJK terminal/modifier separation, a code-identifier collision guard for tokens such ascreated_at, optional document evidence fields for JSON/agent paths, and expands the privacy release scan to benchmark files.0.5.8.6— Fast path answers without sacrificing semantic depth. Human output now shows the active router lane by default, filename hits are final only for path-depth questions, and semantic queries that contain a filename-like clue keep that file as an anchor while lazy/cascade refinement continues in the same invocation. Cold-start semantic queries can show a bounded content preview from the anchor before refinement, metadata questions use a fast filesystem lane, and cross-folder diffusion is suppressed when the current scope already has a concrete anchor.0.5.8.5— Multilingual intelligent routing hardening without weakening semantic recall. Natural-language CLI queries can now be passed bare, quoted, or smart-quoted, soskygrep where is my case42 file in Downloads,skygrep -x where is my case42 file in Downloads, and smart-quoted terminal input all route as one query instead of failing Click argument parsing. A generic cheap filename pre-router handles English, Chinese, and mixed-language file lookups (我的 CASE42 文件在哪->CASE42,我的合同文件在哪->合同) and a cheap semantic pre-router avoids cold LLM router latency for obvioushow/why/explainquestions. Filename answers can return immediately while background indexing continues; literal/rg evidence still feeds the normal cascade instead of suppressing semantic recall. Proactive outside-path diffusion is now bounded to filename intent, so wrong-folder file recovery stays fast without polluting ordinary semantic/code searches.0.5.8.3— Hot-fix for high-confidence filename lookups that skipped the semantic cascade: the cascade branch initialisedqueries, but the cascade-skipped path did not, and the later warm cross-folder gate still readlen(queries). Queries likeskygrep -x "where is my case42 file"could show proactive outside-project filename matches and then crash withUnboundLocalError.queriesis now initialised before the branch; regression coverage locks the filename skip path.0.5.8—--explain/-x: why this matched. Every retrieved chunk now carries the full retrieval provenance. Pass--explainand skygrep prints (a) a router rationale at the top —├─ route router: <intent> · primary_token=... · conf=... · source=...plus a one-sentence reason; (b) a per-resultvia:line — which channel(s) contributed (cosine cascade · symbol RRF · filename-lookup · ripgrep), what symbol terms matched, the score; and (c) a├─ cascade lane:summary at the bottom with σ-adaptive evidence (gap=... , tau=...). Off by default — existing UX is byte-identical to 0.5.7. Bonus: if Ollama isn't running but is installed, skygrep autostarts it in the background and tells you. Two latent LLM-router bugs were also fixed (keep_alivecoercion +LLM_TIMEOUT_SECONDSdefault bumped 0.5 s → 8 s) that had been silently forcing rule-based fallback on most queries. README + Pages now include a dedicated "How skylakegrep differs from Elasticsearch" section. 207 / 207 unit tests pass; head-to-head vs 0.5.7 PyPI on the same query produces byte-identical paths and scores when--explainis off.0.5.7— Hot-fix for the cross-folder lazy worker: a SQLite cross-thread error was silently disabling the proactive lazy lane on wrong-path queries. Real-CLI receipt: first answer at ~1.1 s on a wrong-cwd query.0.5.6— Parallel proactive umbrella. Cascade andfilename_extend/lazy_cwd/lazy_cross_foldernow all run at t = 0 and stream the first confident answer to your terminal. Wrong-path queries that previously waited 99 s on a cascade rerank now answer in ~1 s.0.5.3— Cold-start lazy auto-trigger. Vocabulary- mismatch hit-rate 0/10 → 4/10 over plainrgcold-start on the Django oracle bench, with no upfrontskygrep index .ever run. Adds deterministic dir-token picker, numeric-prefix penalty, and import diffusion.0.5.1— Lazy semantic auto-trigger on by default. The first query in any folder works withoutskygrep index ..0.4.x → 0.5.0— Holistic graph-aware retrieval, then a rolled-back synthetic-only-bench misstep; 0.5.0 reset to real-CLI discipline as the only acceptable proof.0.3.x— σ-adaptive cascade with Bayesian-evidence framing. Settled onbge-m3+ cross-encoder rerank.0.2.x— Multilingualbge-m3substrate, content- agnostic reference graph registry, 30 / 30 public-OSS recall (was 28 / 30).0.1.0— Initial public release.
Project principles
Architecture rules every contributor (human or AI agent) should
follow. Recorded in
docs/principles.html. Loaded into Claude
sessions automatically via CLAUDE.md.
- Understanding > Enumeration — substrate (LLM / embedder / registry) over hardcoded lists. Receipts table tracks 5 past lapses.
- Substrate before scaffolding — upgrade the underlying model before layering priors on top.
- Latency / quality / correctness — in that priority order.
- Public surfaces sync at every release — the 8-surface
checklist in
docs/releasing.html. - Honest evaluation over hopeful claims — name the bench, show the numbers, don't combine across benches.
- Proactive over Passive — when the cascade can't answer, try bounded extra work in parallel rather than shrug.
Development
git clone https://github.com/danielchen26/skylakegrep.git
cd skylakegrep
python3 -m venv .venv
source .venv/bin/activate
pip install -e .[rerank]
# Verify
.venv/bin/python -m pytest -q tests/ # current suite should pass
The release protocol is documented in
docs/releasing.html. Every release must
sync 8 public-facing surfaces (PyPI, GitHub Release, README,
GitHub Pages, plan docs, principles, version bump, tag) in a
specific order.
License
Apache License 2.0 — see LICENSE and NOTICE.
Commercial use, modification, and redistribution are permitted under
those terms. The names skylakegrep / skygrep are trademarks; see
TRADEMARK.md for naming policy (Apache does not grant
trademark rights).
Acknowledgments
Built on the shoulders of:
- Ollama — local model serving
- bge-m3 — multilingual embedder (BAAI)
- qwen2.5 — local LLM family for routing + answer synthesis
- tree-sitter — symbol-aware chunking
- SQLite — durable index storage
- pypdf · python-docx — binary content extraction
- Pygments — syntax highlighting in the rendered terminal output
Metadata
Release files for skylakegrep 0.7.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| skylakegrep-0.7.3.tar.gz | 343.4 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| skylakegrep-0.7.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 593.9 kB
Release files / skylakegrep-0.7.3.tar.gz
| Download URL | skylakegrep-0.7.3.tar.gz |
|---|---|
| Size | 343.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
0d7884bec681d7d564e2461e290ae2a7c5c132dff18dc734f9576c73dec23829
|
|
BLAKE2b-256 checksum How to use checksums |
2b2994ec8eeb3905b85881c54e97108d3c7cb97bfa4cb2516a85f4fd1c089e93
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 17, 2026.
Transparency logRelease files / skylakegrep-0.7.3-py3-none-any.whl
| Download URL | skylakegrep-0.7.3-py3-none-any.whl |
|---|---|
| Size | 250.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
53e173787db3150c5c92cf3f3c3e773e9eaeef3eba8a4ca3e26d911158b8bb29
|
|
BLAKE2b-256 checksum How to use checksums |
cb3067d907f3894d8cdd720447eaa54ffb07ff74c495e6f65148352be0b920a8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 17, 2026.
Transparency log