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.
Related MCP server: mcp-context
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
}Maintenance
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
- 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/ARQAWA/code-nav-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server