Local-first SCIP code navigation and Zoekt search over your own indexed repositories
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Local-first code intelligence for coding agents. Precomputed SCIP navigation (go-to-definition, find-references, call hierarchy, document symbols), Zoekt lexical search, cross-repo blast radius, and semantic search β exposed as MCP tools to Claude Code, Cursor, or any MCP client.
Runs as a single stdio process reading local SQLite files. No server, no auth, no network, nothing leaves your machine.

One indexing CLI writes up, one stdio runtime reads down β the storage seam in
~/.jarvis is the only contract between them.
4. Register the MCP server. Using Claude Code, install the plugin and it registers itself:
Any other MCP client (or Claude Code without the plugin) registers manually:
That's it β ask your agent "find all references to AuthService" and it will
call findReferences instead of grepping.
If your client can't find jarvis-server on PATH (GUI apps often don't
inherit your shell's), use the absolute path from which jarvis-server.
| Tool | What it does |
|---|---|
goToDefinition | Resolve a symbol to its defining file and range |
findReferences | Every occurrence of a symbol across the indexed repo |
callHierarchy | Incoming/outgoing calls for a symbol |
documentSymbols | Outline of every symbol defined in one file |
searchCode | Zoekt lexical/regex search, optionally filtered to one repo |
semanticSearch | Natural-language search β vector hits fused with Zoekt lexical hits and SCIP symbol-definition matches via reciprocal rank fusion |
blastRadius | Which other indexed repos depend on a package, up to 2 hops |
getIndexStatus | Published commit, freshness, staleness vs. a working tree |
typeHierarchy | Supertypes/subtypes β needs an index built with the bundled scip, see limitations |
Every nav tool takes repo (the slug from jarvis index) plus a
tool-specific symbol or path. All tools report failure the same way β a
{"error": "..."} payload rather than a transport-level error, so a query bug
never kills the stdio server.
Read this before installing β jarvis is deliberately narrow.
macOS and Linux only. Windows is not supported.
One language per repo. Language is detected by extension plurality across
git-tracked files; a polyglot monorepo gets indexed as whichever language has
the most files. Multi-language merge is out of scope. Override with
--language.
SCIP navigation (goToDefinition, findReferences, etc.) covers four
language families: TypeScript/TSX, Python, Java/Kotlin, Swift.
jarvis index --search-only additionally covers Go, Ruby, Rust, C,
C++, C#, PHP, Scala, shell, and SQL for searchCode/semanticSearch
only β no navigation.
Navigation and search only β jarvis never edits code. If you want an agent that can perform semantic renames and refactors, you want Serena; the two are complementary.
Indexing is a separate, explicit step. Nothing is live-analyzed. Run
jarvis index (or jarvis watch) to publish an index before querying.
Requires external binaries that setup.sh installs:
| Purpose | Binary | Source |
|---|---|---|
| SCIP β SQLite conversion | scip | prebuilt, pinned v0.9.0 (minimum β older versions silently drop occurrence ranges) |
| Lexical search | zoekt-index Β· zoekt-webserver | cross-compiled by our CI β upstream publishes no binaries |
| TypeScript indexing | scip-typescript | npm install -g |
| Python indexing | scip-python | npm install -g |
| Swift indexing | scip-swift | prebuilt, macOS arm64 only |
| Java/Kotlin indexing | scip-java | detect-only β Docker image, asks before pulling |
Options: --only <name> to install one dependency, --force to reinstall,
--help for usage. Re-running is safe: anything already present is skipped.
Optional extras:
Storage is the seam. The runtime half only ever reads down into it; the indexing half only ever writes up into it; the two share no other contract:

Three things worth reading the diagram for:
index-<sha>.db
read-only (mode=ro&immutable=1). Index files are never mutated in place..db, populates
the package graph, and runs zoekt-index β only once all of that succeeds
does os.replace (POSIX rename(2)) flip the small current pointer. A
query already reading the old file keeps working; there is no downtime
window, and a failure anywhere leaves the previously published index live.blastRadius always reflects each repo's last index
run.Editable source:
docs/assets/jarvis-layers.dot (Graphviz).
Layer-by-layer detail, the full index pipeline, and the semantic path are in
docs/system-architecture.md.
Core query/search logic is ported from an internal reference implementation; the enterprise shell (FastAPI, Postgres, hosted-git auth, Cloud Build) is dropped in favor of a single stdio process reading local SQLite files.
status (as shown by both list and status) is usually indexed or
failed, but can also be partial: the index published real symbols but no
navigable positions (an indexer/converter bug) β check the stderr warning
from jarvis index for details.
--semantic-include is repeatable β pass it once per path prefix to
force-include several. Like --scheme and --language, once set there is no flag to clear
it; change it by re-running jarvis index with the new value(s).
Language detection counts source files by extension across git-tracked files and picks the winner β one language per index:
| Extensions | Indexer |
|---|---|
.ts .tsx | scip-typescript |
.py | scip-python |
.java .kt | scip-java |
.swift | scip-swift |
Ties break by fixed priority (.ts β .tsx β .py β .java β .kt β .swift).
.git, node_modules, .venv, __pycache__, dist, and build are
skipped. Reading git rather than walking the filesystem is deliberate: a walk
also counts gitignored scratch directories, which can outnumber a repo's own
code and pick a language it doesn't use.
The pipeline then runs: chosen indexer β scip expt-convert β populate the
package dependency graph (packages/edges tables in registry.db) β
zoekt-index into ~/.jarvis/.zoekt β copy to
~/.jarvis/scip/_/<slug>/_/index-<sha>.db β atomic current pointer flip β
registry update.
The
scip/_/<slug>/_/path shape reuses the vendoredIndexConnectionCache's(project, repo, branch)3-tuple layout with the outer two pinned to_(seesrc/jarvis/config.py). It is not a user-facing contract β only<slug>matters when calling tools.
Swift indexing works end-to-end. It requires scip >= v0.9.0: older converters
cannot read scip.proto's typed_range oneof, which is the only range encoding
scip-swift emits, and silently produce an index with no navigable positions.
jarvis index refuses an older scip rather than publishing one.
No reviews yet β be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/jarvis)<a href="https://allmcps.com/mcp/jarvis"><img src="https://allmcps.com/api/badge/jarvis?style=directory" alt="Jarvis on AllMCPs" /></a>