RepoNav
RepoNav
RepoNav is a deterministic, read-only repository evidence service for local
MCP clients. It exposes a single repo_nav_locate tool that turns a repository
question, search terms, and optional anchors into verified evidence, follow-up
candidates, coverage details, and next actions.
RepoNav prefers CodeGraph when the target repository is indexed and falls back to text search when necessary. It does not modify the target repository.
Requirements
Node.js
^22.0.0 || ^24.0.0rg(ripgrep) for the text-search fallbackOptional: CodeGraph for indexed repository exploration
Related MCP server: Semantic Search MCP Server
Install
npm install -g repo-navMCP host configuration
After install, register the stdio MCP server (repo-nav-mcp):
{
"command": "repo-nav-mcp"
}The server publishes one read-only MCP tool:
repo_nav_locateExample arguments:
{
"repoPath": "D:\\path\\to\\target-repository",
"question": "Where is the repository evidence service token used?",
"terms": ["REPOSITORY_EVIDENCE_SERVICE"],
"anchors": [{ "kind": "symbol", "value": "REPOSITORY_EVIDENCE_SERVICE" }]
}See the MCP getting-started guide and the
repo_nav_locate reference for the full
contract.
Debug CLI
The global install exposes repo-nav:
repo-nav --help
repo-nav debug locate --help
repo-nav debug probe --helpSee the debug CLI guide for command details and exit-code semantics.
Programmatic API
Root package exports (repo-nav) expose the v2 request/result contract and
application helpers. Prefer these stable surfaces:
repo-nav request/result + application API
repo-nav/backends RipgrepBackend / CodeGraphBackend
repo-nav/node NodeRepositoryReader / NodeSafeProcessRunner
repo-nav/advanced DI tokens / CodeGraph planner helpers
repo-nav/legacy-v1 legacy v1 contractsRoot still re-exports some adapter symbols for 1.x compatibility; new code should import them from the subpaths above.
Development from source
git clone https://github.com/gchigoo/repo-nav.git
cd repo-nav
npm ci
npm run buildRegister a local stdio server with Codex:
codex mcp add repo_nav -- node <ABSOLUTE_REPO_PATH>\dist\main.js
codex mcp listGolden regressions run from a source checkout via npm run test:golden only.
Verification
npm run build && npm run typecheck && npm test
npm run test:golden -- --all
npm run test:mcp -- --all
npm run test:docsThe MVP acceptance contract and evidence are documented in
docs/acceptance/mvp.md.
Design principles
Read-only repository access
Deterministic and typed output contracts
Explicit distinction between confirmed evidence and candidates
Bounded results with coverage and next-action metadata
Secret-like value redaction at public output boundaries
CodeGraph-first retrieval with a controlled fallback path
This server cannot be installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
- Alicense-qualityDmaintenanceEnables semantic code search across multiple repositories using natural language queries. Provides intelligent code discovery, symbol lookups, and cross-repo dependency analysis for AI coding agents.MIT
- FlicenseDqualityDmaintenanceEnables AI agents to perform semantic search over codebases by converting natural language queries into efficient search patterns like grep and ripgrep. It utilizes LLMs to verify relevance and find code snippets that traditional keyword-based searches might miss.1
- Alicense-qualityCmaintenanceProvides semantic code search and index status for codebases using RAG, enabling AI tools to query code knowledge.MIT
- Alicense-qualityBmaintenanceGenerates optimized repository maps and enables identifier search with graph-ranking, designed for efficient LLM context caching and codebase navigation.1MIT
Related MCP Connectors
Securely search and manage workspace context files for AI agents and teams.
Token-efficient search for coding agents over public and private documentation.
Cross-agent artifact workspace with provenance across Claude Code, Codex, Cursor, LangGraph.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/gchigoo/repo-nav'
If you have feedback or need assistance with the MCP directory API, please join our Discord server