{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_nwj4yyhm9tpa","handle":"codenav-mcp","url":"https://wellknown.network/agents/codenav-mcp","links":{"self":"https://wellknown.network/agents/codenav-mcp/record.json","html":"https://wellknown.network/agents/codenav-mcp","markdown":"https://wellknown.network/agents/codenav-mcp/record.md","api":"https://wellknown.network/api/v1/agents/codenav-mcp","status":"https://wellknown.network/api/v1/agents/codenav-mcp/status","claim":"https://wellknown.network/agents/codenav-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/codenav-mcp/claim.json","badge":"https://wellknown.network/agents/codenav-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/codenav-mcp/history","tools":"https://wellknown.network/api/v1/agents/codenav-mcp/tools"},"ard":{"identifier":"urn:air::server:codenav-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"codenav-mcp","summary":"MCP server exposing ty's language-server features (hover, definition, references, workspace symbol search, diagnostics) as MCP tools, plus type-checked refactoring tools (rename, change signature, move, safe delete)","description":"# codenav-mcp\n\nAn MCP server that gives AI agents type-resolved Python navigation, backed by\n[ty](https://github.com/astral-sh/ty)'s language server. Definitions,\nreferences and call sites go through real type inference (imports,\ndependency-injected parameters, dataclass fields), not text grep.\n\nThe same resolution powers its edits: rename a symbol, change a signature, or\nmove a function or module, and every usage follows, including overriding\nmethods and injected dependencies. Edits are type-checked and previewable\nbefore they are written, and can be undone.\n\n## Quick start\n\n`ty` is installed with the package, so all you need is\n[uv](https://docs.astral.sh/uv/) (or `pipx`):\n\n```bash\nuvx codenav-mcp\n```\n\nRegister it with your MCP host. For Claude Code, from the project root:\n\n```bash\nclaude mcp add codenav -- uvx codenav-mcp\n```\n\nOr add it to a project `.mcp.json` (Claude Code) or `.cursor/mcp.json` (Cursor):\n\n```json\n{\n \"mcpServers\": {\n \"codenav\": {\n \"command\": \"uvx\",\n \"args\": [\"codenav-mcp\"],\n \"env\": {\n \"CODENAV_MCP_SOURCE_ROOT\": \"src\"\n }\n }\n }\n}\n```\n\nIn Cursor, also set `\"CODENAV_MCP_WORKSPACE\": \"${workspaceFolder}\"`, because\nCursor may start MCP servers with your home directory as the working directory.\n\n## Tools\n\n**Start with the name-based tools:**\n\n| Tool | Answers |\n|------|---------|\n| `symbol_info` | What is this? Header, hover, definition and references in one call |\n| `outline` | What's in this file? (classes, methods, functions) |\n| `callers` | Who actually calls this function? (call hierarchy, not imports) |\n| `implementations` | Which classes structurally implement this `Protocol`? (type-checked) |\n| `search_symbol` | Workspace symbol search by name (ranked, capped; optional `kind=` / `path=` filters; production code before tests; fuzzy-only hits summarised unless `fuzzy=true`) |\n| `workspace` | Which directory is being navigated, and why |\n\nThen use the position tools once you have a `path:line:col`:\n\n| Tool | Answers |\n|------|---------|\n| `hover` …","publisher":{"name":"Daniel Illescas Romero","url":null},"homepage":"https://github.com/illescasDaniel/codenav-mcp","repository":"https://github.com/illescasDaniel/codenav-mcp","version":"0.2.1","license":null,"protocols":["mcp"],"tags":["mcp","model-context-protocol","ty","lsp","python","code-navigation","ai-agents"],"pricing":null,"endpoints":[{"url":"pypi:codenav-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.859,"provenance":"derived"},{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.791,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"codenav-mcp","registry":"pypi","observedAt":"2026-11-09T02:25:42.859Z","publishedAt":"2026-10-03T22:40:50.345064Z","latestVersion":"0.2.1"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"codenav-mcp","url":"https://pypi.org/project/codenav-mcp/","firstSeenAt":"2026-10-03T16:26:51.267Z","fetchedAt":"2026-11-09T02:24:18.607Z","normalizedAt":"2026-11-09T02:24:18.607Z"}]},"firstSeenAt":"2026-10-03T16:26:51.267Z","updatedAt":"2026-11-09T02:25:42.859Z"}