Read-only repo navigation and progressive disclosure; BM25 locator with registered evidence.
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
We haven't yet run this listing's install command through our automated sandbox check. This isn't a red flag β we're steadily working through the catalog.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Read-only, provenance-first repository navigation for humans and AI agents.
Point it at a repository and ask a question. It returns ranked file-and-line ranges to read, each carrying the reason it ranked, and it never writes to the repository it reads. It is built for coding agents that must orient in an unfamiliar codebase without pulling the whole thing into context, and for the people reviewing what those agents did.
mentu-navigator is the product name. mentu-nav is its short CLI.
Requires Node.js 20 or newer.
To run it without installing:
The package name and the command name differ, so npx mentu-navigator on its
own cannot resolve a binary. Pass -p as above.
License: Apache-2.0. Telemetry is local-only JSONL under ~/.mentu/pd1/
(spec: docs/TELEMETRY-SPEC.md); disable with
MENTU_NAV_TELEMETRY=off. Nothing ever leaves the machine.
mentu-navigator is the retrieval surface.
mentu-pdv validates the frontmatter
schema this tool consumes and emits the demotion sets locate applies. The two
are designed as a pair, and the schema is published as a spec
(SPEC-frontmatter.md).
Search tools find matching text. A repository navigator also preserves the question's intent and returns the nearby contracts, tests, docs, Git lineage, and risk surfaces needed to act safely.
The first release is intentionally deterministic:
Interactive terminals receive a concise human view. Pipes receive compact JSON;
--json requests the full envelope.
Agents should use --agent for a compact, token-efficient JSON contract:
The front door auto-routes to map, query, handles, symbol, or impact. Their
explicit commands remain available for scripts and advanced use.
For a docs-as-code network:
This returns metadata pointers, typed relationships, and diagnostics. Every
pointer carries requiresHydration: true. query keeps these pointers separate
from source-body evidence so a summary cannot silently become an answer.
| Capability | Question answered | Evidence |
|---|---|---|
map | What is here? | files, languages, contracts, manifests, typed docs, Git state |
query | Where is the relevant evidence? | ranked path/line/snippet hits and routing reason |
locate | Which ranges should I read? | BM25-ranked hits with retriever attribution (evidence-backed default) |
read-range | What does that range say? | heading-bounded slice, frontmatter returned separately |
handles | Which docs and typed relationships may matter? | frontmatter pointers, relationship resolution, diagnostics; hydration required |
symbol | What surrounds this symbol? | definitions, references, tests, docs, config |
impact | What may this change affect? | Git range, tickets, contracts, tests, risk signals |
locate and read-rangelocate is the agent surface. Its default arm is ranked lexical retrieval
(BM25). That default was set by a pre-registered study, not by taste (see
Evidence below). Two legs exist:
lang frontmatter tag (detected as a
fallback, and the detection is logged, never written);query pipeline, unchanged in semantics.A fused arm (reciprocal rank fusion of the two legs) exists as a measurement arm. It was the original default and was retired from the default path by its own pre-registered ablation rule when the registered bake-off found it trailing plain BM25 by 7.8 points of localization (see Evidence). Every hit says which leg (or both) put it there.
locate returns {path, line, range, snippet, score, retriever, why}. That
is a range to read, not an answer. read-range returns the slice; each --widen
step reaches Β±20 lines further and stops at the enclosing heading boundary, and
frontmatter comes back in its own field so metadata cannot be mistaken for body
evidence. Handles remain the pointer layer, unchanged: every pointer still
carries requiresHydration: true.
These are design parameters, not implementation details. Each is registered as an ablation and measured there; changing one is a dated decision plus a re-measurement.
| Parameter | Value | What it governs |
|---|---|---|
LOCATE_DEFAULT_K | 8 | hits locate returns by default |
LOCATE_MAX_K | 40 | ceiling on k, whatever a caller asks for |
SNIPPET_MAX_CHARS | 240 | snippet length, whitespace-normalized to one line |
WIDEN_STEP_LINES | 20 | one read-range widening step |
RRF_K | 60 | reciprocal rank fusion constant |
DEMOTION_MULTIPLIER | 0.5 | penalty applied to a demoted document |
The legacy query command keeps its own human-facing default of 40 results;
the pins above govern locate.
--demotions <path> reads a pdv demotions JSON file (resolved against the
repository root) and multiplies those documents' scores by 0.5. A demoted
document ranks lower and is never removed. An unavailable document is the
more expensive error. An unreadable or malformed demotion set is reported in the
envelope diagnostics rather than silently ignored.
--retriever is for measurement--retriever=bm25|exact|fused selects an arm (default bm25). It exists so a
registered bake-off's arms are produced by the shipped code path rather than by
a harness fork. That is exactly how the defaults here were decided. The flag
is not a tuning knob.
Every performance-relevant default in this tool traces to a registered, mechanically adjudicated study, and every claim below carries its scope: one 141-document bilingual operational documentation corpus, a fresh 115-question blind set, this tool's k=8 contract. The bake-off (doi:10.5281/zenodo.21969901, companion to doi:10.5281/zenodo.21960138):
bm25 is the default.Nothing here claims generality beyond that corpus class; the study, corpus
manifest, question set, and adjudicator are public in the DOIs above for
re-running. What is additionally asserted by the test suite on every commit: the index writes
nothing to a target repository and lives in memory for the life of the process;
identical corpus and query produce byte-identical hit lists across runs and
index rebuilds; secret-bearing paths are excluded before tokenization, not
after; and a search pattern beginning with - is passed after a literal --
so it can never be parsed as an engine flag.
mentu-navigator-mcp exposes:
navigator: preferred compact, auto-routing entrypointlocate: BM25-ranked ranges, with retriever and demotionsread_range: the disclosure step locate hands off tonavigator_mapnavigator_querynavigator_handlesnavigator_symbol_contextnavigator_change_impactAn MCP client configuration:
or launch the installed binary mentu-navigator-mcp directly.
Setup links the bundled skill into Codex and Claude without copying its logic. It refuses to replace an existing path. Repository navigation itself remains read-only.
The executable remains centralized. Repositories adopt only a short operating contract; they do not copy the implementation. See docs/adoption.md.
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/navigator)<a href="https://allmcps.com/mcp/navigator"><img src="https://allmcps.com/api/badge/navigator?style=directory" alt="Navigator on AllMCPs" /></a>