semantic
Semantic search and hygiene checks over a directory of markdown and source code
— eighteen languages — as a single local Go binary. It embeds your content with a local ONNX model
and cosine-ranks queries against a local SQLite index. No API key, no network,
fully offline.
Point it at an Obsidian vault, a docs/ tree, an engineering-notes folder, or a
codebase, and find things by meaning rather than exact keyword — then keep the
corpus healthy: consolidate duplicates, fix dead links, and connect orphaned
notes.
Contents
- Why
- Languages
- Install
- Quickstart
- What it can do
- Corpus hygiene, in a bit more detail
- What
lint flags
- Fixing and suppressing
- Configuration
- Development
- Contributing
- License
Why
Grep finds the word you typed. It doesn't find the note you wrote six months ago
that says the same thing in different words, and it can't tell you which two docs
are 90% redundant or which links rot. semantic runs a real embedding model on
your machine to answer both kinds of question — retrieval and corpus hygiene —
without shipping your notes to anyone.
- Local & offline. arctic-embed-xs (384-dim) runs via onnxruntime; the
model + runtime download once (~120MB) and never phone home.
- Fast & incremental. Content is chunked, embedded, and stored in SQLite;
reindexing only re-embeds files whose content hash changed.
- Safe to upgrade. The index records which chunker, link extractor, and
embedding model built it. When a new release changes any of them, it rebuilds
the affected rows automatically and tells you why — no stale results, and no
--force you had to know to run.
- Markdown- and code-aware. Markdown is chunked by its heading tree; source
by its syntax tree, one chunk per symbol carrying the doc comment and the
signature — implementation bodies aren't embedded. Eighteen languages, listed
below.
Languages
Every language is parsed with tree-sitter. The
retrieval surface is a symbol's documentation and signature, never its body:
a body is implementation, and embedding it dilutes what the symbol is for.
| Language |
Extensions |
Chunked as |
| Markdown |
.md .markdown .mdx |
Heading tree |
| Go |
.go |
package · type · func · method · documented const/var |
| Python |
.py .pyi |
module · class · method · func · documented constant |
| TypeScript |
.ts .mts .cts .tsx |
file doc · func · class · interface · type · enum · const |
| JavaScript |
.js .mjs .cjs .jsx |
file doc · func · class · CommonJS export |
| Java |
.java |
class · interface · enum · record · method |
| C# |
.cs |
namespace · class · interface · struct · record · method · property |
| Rust |
.rs |
struct · enum · trait · mod · func · impl method |
| C |
.c |
func · struct · union · enum · typedef |
| C++ |
.cc .cpp .cxx .h .hpp .hh |
class · struct · namespace · func · method |
| Ruby |
.rb |
class · module · method |
| PHP |
.php |
class · interface · trait · enum · func · method |
| Scala |
.scala .sc |
class · object · trait · enum · func |
| Lua |
.lua |
func, including dotted and colon paths |
| Protobuf |
.proto |
message · service · rpc · enum |
| HCL / Terraform |
.tf .tfvars .hcl |
block, keyed by type and labels |
| YAML |
.yaml .yml |
document · top-level key |
| Bash |
.sh .bash |
script header · func · documented variable |
Two of those needed a judgment call rather than a translation:
- YAML has no declarations, only nesting. Chunking every key floods the
index; chunking whole files averages a Deployment, a Service, and a ConfigMap
into one meaningless vector. The unit is the document plus its top-level
keys, and a document that declares
kind and metadata.name is identified by
them — so it retrieves as Deployment/api-gateway, not "the third document".
- Bash is mostly top-level commands. Only functions, documented variables,
and the script's own header comment are indexed; the rest would bury them.
Adding a language is a grammar plus a table entry — see
CONTRIBUTING.md.
Filtering by language
--lang narrows a search to one or more languages. It is repeatable or
comma-separated, and accepts the names people actually type (c++, k8s,
terraform, py). semantic langs prints the full list.
semantic search "session state transitions" --lang go
semantic search "how replicas are set" --lang yaml,hcl
semantic search "retry logic" --lang python --lang go
A misspelled language is an error, not an empty result — a search returning
nothing should mean "no such code", never "no such flag value".
Install
mise use -g "go:github.com/reactor-team/semantic/cmd/semantic@latest"
semantic init # one-time: fetch the embedding model + ONNX runtime
One prerequisite: a C compiler. The ONNX runtime is linked via cgo, so
CGO_ENABLED=1 is required. The SQLite side is pure Go. macOS:
xcode-select --install. Debian: apt install build-essential.
To build from a clone instead, use mise run install, which puts the binary in
$(go env GOPATH)/bin with its version stamped in.
Quickstart
cd ~/notes
semantic index # build/refresh the index for this tree
semantic search "how retries back off" # semantic search, ranked by meaning
The index lives in <vault>/.semantic/index.db — per-directory, gitignorable, and
it travels with the tree.
What it can do
| Command |
What it's for |
semantic index |
Incrementally (re)index markdown and source code under the vault (--vault, default cwd; honors .gitignore). --force re-chunks/re-embeds/re-extracts links for every file, even unchanged ones — rarely needed now that an upgrade rebuilds what it invalidates on its own. |
semantic search "<query>" |
Rank chunks by cosine similarity to the query; prints file:line, breadcrumb, and snippet. |
semantic dupes |
Find near-duplicate chunks — redundant docs/guidance worth consolidating. |
semantic graph |
Inspect the document link graph: orphans, broken links, broken #section anchors, backlinks. |
semantic lint |
Flag docs hygiene: inline-code doc/source paths (`docs/x.md`, `pkg/file.go`) that should be links (or are ambiguous — a bare basename matching more than one file), deep relative links (../../) better written root-absolute, and long files missing an up-to-date ## Contents TOC. --fix rewrites the auto-fixable ones. |
semantic status |
Index + model health (DB path, file/chunk counts, last index time). |
semantic models |
List the embedding models available, and mark the one in use. |
Help is the source of truth — every command self-documents:
semantic --help
semantic <command> --help
Corpus hygiene, in a bit more detail
dupes does an all-pairs cosine scan over content-bearing chunks (markdown
sections and source doc-comments) to surface redundancy, cross-file by default.
--path narrows the scan to one subtree; --exclude (repeatable) drops
subtrees from it — a pair falls when either side matches.
graph resolves [text](path) and [[wikilink]] edges at query time, so
renames fix links without rewriting sources. It reports orphans (no inbound
link), broken links (target resolves to nothing), and broken anchors
(the file resolves but the #section matches no heading) — so linking straight
to a section is safe and validated. --backlinks PATH shows what points at a
file; --json/--dot feed other tooling.
lint flags what the graph cannot see — references that should be links,
links that will break when a file moves, and long files with no Contents
table. It carries the most surface of the three, so it gets its own breakdown
below.
What lint flags
Five findings: four about links, one about structure. Each flag names one, and
selects it in both the report and --fix.
| Flag |
Finding |
Under --fix |
--unlinked |
A doc or source path written as inline code that resolves to exactly one file. |
Becomes a link |
--ambiguous |
A bare basename with no directory (`service.go`) matching more than one indexed file. |
Needs a human |
--broken |
A dead path, or a dead #section anchor. |
Needs a human |
--deep |
A real [text](path) link climbing two or more directories with ../../. |
Rewritten root-absolute |
--toc |
A markdown file over 100 lines whose ## Contents table is absent or out of date. .mdx is exempt. |
Regenerated |
The first three are inline-code references, and they group together because
such a reference never becomes a graph edge — a file referenced only that way
reads as an orphan. An ambiguous one is reported with its full candidate list
rather than fixed, because promoting it would silently pick whichever candidate
sorts first.
A deep link's replacement is root-absolute (/docs/x.md), which survives moving
the source file. The suggestion is anchored at the enclosing git repository root,
the way GitHub resolves a leading-/ link, so a vault indexed below that root —
a monorepo, or a docs/ sub-tree — gets the right prefix
(/subproj/docs/x.md). With no repository it stays vault-relative.
A Contents table earns its keep on a long file because a partial read then still
reveals the file's full scope. An .mdx page is exempt: it is a page on a docs
site that renders its own table of contents from the headings, so a written one
is a duplicate the reader sees twice.
.mdx differs from plain markdown in two further ways, both because a page
addresses its neighbours the way the rendered site does. A JSX href — the
<Card href="/deploy/quickstart" /> a docs site writes its navigation with, in
either the attribute or the href={"/x"} expression form — is a graph edge, so
a page reached only through one is not an orphan; and a bare
target with no extension resolves against .mdx as well, so /deploy/overview
finds deploy/overview.mdx. MDX has no HTML comments, so the suppression
directives below are also accepted in its {/* … */} form.
Fixing and suppressing
--fix rewrites the auto-fixable findings in place. An unlinked reference
becomes a real link carrying the original path as its label
(`pkg/file.go` → [`pkg/file.go`](/pkg/file.go)), root-absolute so it
resolves from wherever it is written. Contents tables are regenerated from the
heading tree, as a plain-text outline directly under the ## Contents heading.
Narrowing composes with fixing: --unlinked --fix promotes unlinked references
only, touching neither deep links nor TOCs. Passing file paths scopes every
check and every fix to those files — semantic lint --toc --fix <files…> is the
shape a pre-commit hook wants, so it reaches staged files rather than the whole
vault.
False positives suppress ESLint-style: <!-- semantic-ignore --> on the
offending line, -next-line on the line above, or -file at the top to exempt
a whole file. In .mdx, write the same directive as {/* semantic-ignore */},
since MDX has no HTML comments. The last is what a vendored or verbatim third-party document
wants, since it silences the TOC check too.
Configuration
| Env var |
Meaning |
SEMANTIC_DB |
Override the index database path (also --db). |
SEMANTIC_MODEL |
Which embedding model to use (also --model). |
SEMANTIC_CACHE_DIR / SEMANTIC_MODEL_DIR |
Where the model/runtime are cached. |
SEMANTIC_ORT_LIB |
Path to a specific ONNX runtime shared library. |
SEMANTIC_NO_DOWNLOAD |
Fail instead of fetching a missing model. |
search, dupes, graph, and lint incrementally reindex the vault before
answering (a stat-only no-op when nothing changed), so they never silently
read a stale index. Pass --no-reindex to skip this and read the index
exactly as it was after the last explicit semantic index. graph and lint
reindex without embedding, because neither ever reads a vector — chunks they
add carry a placeholder that the next search, dupes, or semantic index
fills in.
Choosing a model
semantic models lists what is available and marks the one in use:
$ semantic models
all-MiniLM-L6-v2 d384 s256 mean ~90MB not downloaded
* arctic-embed-xs d384 s512 cls ~90MB installed
bge-small-en-v1.5 d384 s512 cls ~127MB not downloaded
bge-small-en-v1.5-int8 d384 s512 cls ~33MB not downloaded
The columns are the dimension, the maximum sequence length in tokens, the
pooling strategy, and the download size.
arctic-embed-xs is the default: measured against a held-out set of real
retrieval queries, it ranked results better than bge-small-en-v1.5 — the
prior default — at roughly two-thirds the download. Pass --model NAME or set
$SEMANTIC_MODEL to use another; each is cached under its own directory, so
switching back after the first download costs nothing.
bge-small-en-v1.5 stays in the registry: a released version depends on it,
and it is still a strong checkpoint, just no longer the default.
bge-small-en-v1.5-int8 is the bge checkpoint with int8 weights: a quarter of
its download for no measurable accuracy cost. It is not the default because it
indexes about 17% slower on Apple Silicon, where ONNX Runtime pays to convert
around each matmul rather than saving on the arithmetic. Prefer it when the
download or the disk matters more than indexing time.
Vectors from two models are not comparable, and the index records which one
built it. Switching models therefore re-embeds the vault on the next command
that ranks — announced before the work starts, not discovered afterwards. Under
--no-reindex, where that healing is skipped, a mismatch is an error rather
than a silently meaningless score.
Development
mise run build # → bin/semantic_<os>-<arch> (version/sha stamped)
mise run test # gotestsum ./... (CGO_ENABLED=1)
mise run lint # golangci-lint, shellcheck, actionlint
mise run fmt # gofmt -w
Three more tasks gate a pull request, all of them also run in CI:
mise run vuln # govulncheck — CVEs reachable from this module
mise run licenses # no copyleft dependency, license files intact
mise run deps # go.mod and go.sum are tidy
The command binary is semantic; the Go module is
github.com/reactor-team/semantic.
Contributing
Pull requests are welcome. CONTRIBUTING.md covers the build,
the house style, and the DCO sign-off; adding a language is the cheapest place
to start and is documented there. Behaviour in every project space is governed
by the Code of Conduct.
For a security problem, do not open an issue — see
Reporting security issues.
License
Apache-2.0. The embedding model and the ONNX runtime are downloaded
at first use under their own permissive licenses, listed in NOTICE.