code_nav MCP
code_nav MCP
AI-native deterministic code navigation MCP server for Codex / CodeCLI.
code_nav gives coding agents compact, structured repo context without making
them dump files into chat. It works in any git repo by detecting the repo root
and using git-visible files.
There is no semantic search, no embeddings, no vector database, no graph index, no Qdrant, no CocoIndex, and no Zoekt.
Repository:
https://github.com/ARQAWA/code-nav-mcpInstall Prompt
Use INSTALL_AGENT_PROMPT.md with Codex / CodeCLI on the target machine.
The prompt installs one shared user-level code_nav MCP:
$HOME/.local/share/code-nav-mcp/app
$HOME/.local/bin/code-nav-mcpIt also installs/checks Probe, ast-grep, ripgrep, and RTK, configures Codex MCP globally, installs Code Navigation Rules, and verifies the MCP tools.
Tools
Tool | Purpose |
| Check repo detection and dependency health. |
| Main deterministic code discovery workflow. |
| File/path discovery. |
| Ranked exact text search, not proof. |
| Compact code context extraction. |
| AST search with ast-grep. |
| Exhaustive proof using raw rg/git grep. |
| File coverage and no-semantic-index status. |
Local Development
npm install
npm run build
npm test
npm run doctor
npm run self-testRun the MCP server locally:
node dist/cli.js mcpOptional Repo Config
No per-repo config is required. Rare overrides can use .code-navrc.json:
{
"max_file_bytes": 2097152,
"extra_exclude": [],
"extra_include": [],
"markdown": "normal",
"result_limit": 12
}Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Latest Blog Posts
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/ARQAWA/code-nav-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server