About code_nav MCP
code_nav MCP is an MCP server published by ARQAWA in the RAG category: deterministic code navigation MCP server for Codex/CodeCLI that provides compact repo context using git-aware deterministic search tools without semantic search or embeddings.
Recent commit activity is the strongest signal that reported issues will get attention.
Install
git clone https://github.com/ARQAWA/code-nav-mcpThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Tools (8)
code_nav.coverageFile coverage and no-semantic-index status.
Parameters not published.
code_nav.exact_auditExhaustive proof using raw rg/git grep.
Parameters not published.
code_nav.exact_searchRanked exact text search, not proof.
Parameters not published.
code_nav.extract_contextCompact code context extraction.
Parameters not published.
code_nav.find_fileFile/path discovery.
Parameters not published.
code_nav.healthCheck repo detection and dependency health.
Parameters not published.
code_nav.searchMain deterministic code discovery workflow.
Parameters not published.
code_nav.structural_searchAST search with ast-grep.
Parameters not published.
Ask AI
Ask AI about code_nav MCP
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.