Cartograph
Cartograph
Агент-ориентированный интеллект для кода. Превратите любой репозиторий в запрашиваемый граф кода и отдайте его агентам через MCP — чтобы агент мог спросить: «что сломается, если я изменю это?», а не грепать и надеяться.
tree-sitter + SQLite. Без эмбеддингов, без векторного хранилища, без API-ключей, без сервера, без затрат.
→ Живое демо — создаётся из реального индекса этого репозитория при каждом пуше.
Проблема
Дайте агенту программирования большой незнакомый репозиторий и посмотрите, что он делает: grep, читает файл, снова grep, читает другой файл. Он сжигает контекст, восстанавливая структуру, которую парсер мог бы выдать за один вызов, — и всё равно упускает вызывающий код на три модуля дальше, который его изменение сломало.
Обычное решение — RAG: построить эмбеддинги кодовой базы и получать «похожие» фрагменты. Но «кто вызывает эту функцию?» — это не вопрос похожести. У него есть точный ответ, и этот ответ находится в графе вызовов.
Cartograph строит граф, а затем даёт агентам десять инструментов, заточенных под то, как они реально работают.
$ cartograph blast src/cartograph/graph/store.py
## Blast radius — file `src/cartograph/graph/store.py`
17 dependent file(s), 31 affected symbol(s), 7 test file(s).
**Tests to run first**
- `tests/test_cli.py`
- `tests/test_docs.py`
- `tests/test_incremental.py`
- `tests/test_mcp.py`
- `tests/test_resolver.py`
- `tests/test_traversal.py`
- `tests/test_views.py`
**Dependent files** (by import distance)
- `src/cartograph/graph/resolver.py` · d1
- `src/cartograph/indexer/pipeline.py` · d1
- `src/cartograph/service.py` · d1
- `src/cartograph/cli.py` · d2
…Один вызов — до правки. Не семь грепов после того, как тест-сьют покраснел.
Related MCP server: codeweave-mcp
Быстрый старт
uv tool install cartograph-mcp # or: pipx install cartograph-mcp
cartograph index ~/code/my-repo # builds .cartograph/cartograph.db
cartograph arch # modules, layers, cycles, hotspots
cartograph blast src/auth/token.py # what a change here could break
cartograph callers validate_token # reverse call treeПодключите к агенту
Claude Code:
claude mcp add cartograph -- cartograph serve /path/to/repoИли любой MCP-клиент через mcp.json:
{
"mcpServers": {
"cartograph": {
"command": "cartograph",
"args": ["serve", "/path/to/repo"]
}
}
}serve индексирует при первом запуске, если индекс ещё не создан. Затем спросите агента: «что сломается, если я изменю валидатор токена?» — и он вызовет blast_radius вместо того, чтобы гадать.
Десять инструментов
Инструмент | Ответ |
| Где определён X? (ранжировано по структурной значимости) |
| Полнотекстовый поиск по именам, сигнатурам, докстрингам (BM25) |
| Один символ: сигнатура, документация, члены, вызывающие, вызываемые, исходный код |
| Обратное дерево вызовов — перед изменением сигнатуры |
| Прямое дерево вызовов — понять код, не читая каждый файл |
| Что может сломать изменение, и какие тесты запускать |
| «Что ещё почитать?» через персонализированный PageRank |
| Что файл определяет, что импортирует и кто его импортирует |
| Модули, слои, циклы импортов, горячие точки, точки входа |
| Здоровье индекса и разбивка разрешения рёбер по правилам |
Плюс MCP-ресурсы (cartograph://architecture, cartograph://stats) и промпт orient для первичного прохода по незнакомому репозиторию через граф.
Языки: Python, TypeScript, TSX, JavaScript, Go.
Проектные решения, о которых стоит поспорить
1. Уверенность — полноправная колонка
Без тайпчекера нельзя знать, что store.who_calls() означает GraphStore.who_calls. Можно лишь ранжировать гипотезы. Поэтому вместо притворства каждое ребро записывает правило, которое его породило, и уверенность:
Правило | Уверенность | Смысл |
| 0.95 | определение прямо здесь, в области видимости |
| 0.90 | файл явно импортировал это имя |
| 0.85 |
|
| 0.75 | соседний файл в том же пакете |
| 0.60 | ровно один символ репозитория с таким именем, голый вызов |
| 0.45 | одно совпадение, но на нетипизированном приёмнике |
| ≤0.40 | N кандидатов, сохраняется как N рёбер по 1/N каждое |
| 0.00 | корень в импорте сторонней/стандартной библиотеки |
| 0.00 | действительно неизвестно (динамика или типизированный метод) |
Вызывающие код затем сами выбирают рабочую точку. who_calls по умолчанию использует порог ≥0,5 — сначала точность, потому что агент действует на основе ответа. blast_radius опускается до 0,3 — сначала полнота, потому что пропущенный затронутый тест — дорогая ошибка, а ложное срабатывание стоит лишь беглого взгляда ревьюера.
Ярус name-only существует из-за реального бага. seen.add(...) на встроенном set резолвился в метод add класса из репозитория только потому, что имя случайно оказалось уникальным, — и он выглядел уверенным вызывающим. Имя метода на приёмнике, который нельзя типизировать, не является доказательством, поэтому теперь оно оказывается ниже линии точности. (тест)
external существует для честности метрик: на большинстве репозиториев категорию «unresolved» заполняют в основном typer.Option и sqlite3.execute. Включение их в статистику делает покрытие гораздо хуже, чем оно есть, поэтому Cartograph сообщает внутреннее разрешение — из тех мест вызовов, которые могут указывать на символ репозитория, сколько реально указывают.
2. Парсинг инкрементален, резолвинг — никогда
Файл перечитывается, только когда меняется его sha256. Но сырые ссылки хранятся как факты в таблице refs, а edges пересчитывается как чистая функция (refs × symbols) при любом изменении.
Именно это делает «переиндексацию после каждой правки» надёжной. Если бы разрешение тоже было инкрементальным, правка одного файла могла бы оставить ребро в другом файле, указывающее на символ, который переехал. Полное повторное разрешение делает это структурно невозможным. (тест)
Стоимость реальна, поэтому есть ровно одно безопасное упрощение: если ни один файл не был добавлен, не перечитан и не удалён, обе входные таблицы не изменились, и разрешение доказуемо идентично — поэтому оно пропускается. Это сократило повторную индексацию Django без изменений с 7.5s до 0.67s и побайтно идентичным графом.
3. PageRank вместо эмбеддингов
«Какой get вы имели в виду?» — это структурный вопрос. Тот get, от которого зависят сорок мест вызовов, — тот, который нужен агенту, и граф вызовов это уже знает. Поэтому ранжирование символов — это взвешенный PageRank по графу вызовов: стабильный, объяснимый и бесплатный. Никакой модели, никакой сборки индекса, никакого векторного хранилища.
related_symbols развивает ту же идею: персонализированный PageRank, инициированный одним символом, с рассмотрением графа как неориентированного, потому что если вы собираетесь изменить функцию, и её вызывающие, и её вызываемые — релевантный контекст. Это структурный аналог семантического поиска, и ему не нужны эмбеддинги.
4. Инструменты возвращают Markdown, а не JSON, в рамках бюджета токенов
Потребитель — это контекстное окно. JSON-массив из 40 символов тратит тысячи токенов на скобки и повторяющиеся ключи, а модель в любом случае переформатирует его. Каждое представление здесь — компактный Markdown с жёстким бюджетом токенов.
Критически важно: каждое усечение объявляется. Агент, получивший 20 из 87 вызывающих без маркера, уверенно заключит, что остальных 67 не существует, и удалит что-нибудь.
5. Обход выполняется в SQLite, а не в Python
who_calls на глубине 4 — это рекурсивный CTE, поэтому весь обход остаётся внутри C-цикла SQLite. На графе Django с 252 тыс. рёбер это ~5 мс. Вытаскивание таблицы рёбер в Python для обхода не было бы таким.
Бенчмарки
Реальные репозитории, ноутбук на M-серии, один процесс. Холодный запуск — полный индекс с нуля; тёплый — повторная индексация без изменений.
Репозиторий | Файлы | KLOC | Символы | Рёбра | Холодный | Тёплый | БД | Внутреннее разрешение |
2,973 | 534 | 45,394 | 252,441 | 11.9s | 0.67s | 80 MB | 83.2% | |
gin (Go) | 98 | 24 | 1,610 | 9,179 | 0.32s | 0.03s | 2.5 MB | 88.1% |
83 | 18 | 1,624 | 4,271 | 0.21s | 0.03s | 1.7 MB | 87.4% |
Задержка запросов (медиана из 5, тёплый режим):
Репозиторий |
|
|
|
|
django | 12.3ms | 5.1ms | 5.6ms | 68.5ms |
gin | 0.4ms | 0.4ms | 0.5ms | 1.2ms |
flask | 0.5ms | 1.1ms | 1.3ms | 1.8ms |
Воспроизвести: scripts/bench.py.
Архитектура
flowchart LR
subgraph index["cartograph index"]
W[walker<br/>git ls-files] --> P[tree-sitter<br/>+ .scm queries]
P --> X[extract<br/>defs · refs · imports]
end
X --> DB[(SQLite<br/>symbols · refs<br/>edges · FTS5)]
DB --> R[resolver<br/>rule cascade]
R --> DB
DB --> RK[PageRank<br/>Tarjan SCC]
RK --> DB
DB --> S[service facade]
S --> V[views<br/>token-budgeted MD]
V --> M[MCP server<br/>10 tools]
V --> C[CLI]
M --> A((coding agent))Модуль | Назначение |
| Обнаружение файлов — использует |
| По одному адаптеру на язык: расширения, запросы, докстринги, ключи модулей, разрешение импортов |
| AST → символы/ссылки/импорты, без привязки к языку |
| tree-sitter паттерны захвата — знания по каждому языку в виде данных |
| Граф: |
| Каскад уверенности |
| PageRank, персонализированный PageRank, итеративный Tarjan SCC, слои |
| Обход через рекурсивные CTE, ранжированный поиск, агрегаты |
| Единый фасад, чтобы CLI и MCP-сервер не расходились |
| Markdown с бюджетом токенов |
Определение области видимости без комбинаторных запросов
Трюк, который сохраняет queries/*.scm небольшими: область видимости никогда не кодируется в запросе. Каждое захваченное определение индексируется по id узла tree-sitter, а охватывающий символ ссылки находится обходом цепочки parent, пока не встретится один. Это O(глубины дерева) на ссылку и без дополнительных усилий обрабатывает замыкания, методы, внутренние классы и стрелочные функции — без отдельных паттернов на каждую форму.
Добавление языка
Создайте подкласс LanguageAdapter (около 40 строк) и добавьте файл .scm. GoAdapter — самый короткий полный пример. tests/test_queries.py затем автоматически компилирует ваши запросы с грамматикой и проверяет, что они захватывают что-то.
Разработка
git clone https://github.com/GokulRaj2210/cartograph-mcp && cd cartograph-mcp
uv sync
uv run pytest -q # 209 tests
uv run ruff check .
uv run mypy # strictCI запускает набор тестов на Python 3.11/3.12/3.13 (плюс macOS), затем использует продукт на себе: индексирует этот репозиторий, падает при циклах импортов, проверяет, что повторная индексация без изменений не перечитывает ничего, и гоняет MCP-сервер через настоящий stdio. Он также устанавливает собранный wheel в чистый venv и индексирует с его помощью, потому что упакованные .scm файлы легко случайно не включить в wheel и невозможно заметить локально.
Проверка циклов уже оправдала себя — она поймала цикл store → resolver → store, который я добавил в этот репозиторий, и он был исправлен перемещением проблемного хелпера, а не ослаблением проверки.
Заметные тесты
tests/test_queries.py— каждый.scmкомпилируется с каждой грамматикой, которая его загружает, и что-то захватывает. Паттерн, допустимый в JavaScript ((class_heritage (identifier))), является невозможным паттерном в TypeScript, который оборачивает супертипы вextends_clause. Эта одна строка молча давала ноль символов TypeScript.tests/test_incremental.py— после правок, удалений или перемещения символа между файлами не остаётся устаревших рёбер.tests/test_resolver.py— срабатывает каждое правило, и ни одно не завышает свою уверенность.tests/test_cli.py— читатель и индексатор могут одновременно удерживать базу данных.tests/test_docs.py— сгенерированная демо-страница является корректным HTML со сбалансированными тегами; именно так был пойман баг перекрёстных тегов в Markdown-рендерере наmin_confidence.
Ограничения
Говоря прямо, инструмент анализа кода, который завышает свою точность, хуже бесполезного:
Никакого вывода типов.
self.conn.execute(...)нельзя сопоставить с символом репозитория, не зная типconn. Такие случаи попадают вunresolved, и они составляют основную часть остатка при ~85% внутреннего разрешения.Динамическая диспетчеризация невидима.
getattr(obj, name)(), реестры декораторов и DI-контейнеры не отображаются как рёбра.Межъязыковые рёбра не отслеживаются. TypeScript-фронтенд, вызывающий Python-эндпоинт, — это два разобщённых подграфа.
Только определения, а не все ссылки. Символ, используемый как значение (переданный как колбэк), слабее в графе, чем тот, который вызывается.
Дорожная карта: адаптеры для Rust и Java, опциональное обогащение через LSP для точного разрешения там, где доступен языковой сервер, и режим --changed-since <ref> для радиуса поражения в рамках PR.
Зачем это существует
Я хотел выяснить, можно ли главную слабость кодинг-агента на больших репозиториях — отсутствие структурной модели кода — исправить с помощью статического анализа и хорошо продуманной поверхности инструмента, а не более крупной модели или векторной базы данных. В основном — да.
Лицензия
MIT
Available Tools
10 toolsarchitecture_overviewA
Orient yourself in an unfamiliar repo: modules, layers, cycles, hotspots.
Start here. One call replaces a dozen exploratory file reads: you get module sizes and layering, import cycles, the highest-PageRank symbols (the risky ones to change) and the repo's entry points.
| Name | Required | Description | Default |
|---|---|---|---|
| include_diagram | No | Include a Mermaid diagram of the module graph |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the safety/behavior burden. It discloses what the call produces and signals efficiency by replacing 'a dozen exploratory file reads', making the operation's analytic, non-mutating nature clear through the 'you get...' framing. It stops short of stating any performance or read-only caveats explicitly.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two dense sentences with no filler; the purpose is front-loaded and the supporting details (what it returns) are listed compactly. Each clause earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a single-optional-parameter tool with an output schema, the description covers the key contextual information: when to use it, what to expect, and why it is valuable. Nothing critical is missing for an agent to invoke it correctly.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, and the single include_diagram parameter is fully documented in the schema. The description adds no parameter-specific guidance beyond the schema, so the baseline 3 applies.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description names a specific verb and resource ('Orient yourself in an unfamiliar repo') and enumerates concrete outputs (module sizes/layering, import cycles, PageRank hotspots, entry points). It clearly differentiates from symbol-level siblings like find_symbol and who_calls by positioning itself as the repo-level starting point.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
'Start here' and 'one call replaces a dozen exploratory file reads' provide explicit context for when to use it: early exploration of an unfamiliar codebase. It does not explicitly state when not to use it or name an alternative, so it misses the full 5.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
blast_radiusA
Impact analysis: what a change here could break, and which tests to run.
Combines the reverse import graph with the reverse call graph, then highlights test files specifically. Recall-first by design (confidence >=0.3): the expensive mistake is a missed impacted test, not an extra one.
Call this before editing shared code and after finishing, to pick tests.
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | Transitive import/call depth | |
| limit | No | Max results | |
| target | Yes | A file path or a symbol name/qualname |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the full burden of behavioral disclosure. It explains the internal approach (combining reverse import graph with reverse call graph), the recall-first bias with a specific confidence threshold of >=0.3, and the rationale that missed impacted tests are worse than extra ones. It does not explicitly state that the operation is read-only or safe, but the impact-analysis framing implies it.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is short and front-loaded: the purpose is in the first sentence, methodology and behavior in the second, and usage guidance in the final sentence. Every sentence adds distinct value with no repetition or filler.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the output schema is present and the parameter schema fully describes the inputs, the description provides the necessary context: what the tool computes, how it prioritizes recall, what it highlights, and when to call it. An agent has enough to invoke it correctly and interpret its role relative to siblings.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, and the schema already documents target, depth, and limit with meaningful descriptions. The tool description adds no parameter-specific guidance beyond the schema, so the baseline score of 3 is appropriate.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description opens with a clear purpose: 'Impact analysis: what a change here could break, and which tests to run.' It also differentiates itself from siblings by explaining it combines the reverse import graph with the reverse call graph and specifically highlights test files, which sets it apart from who_calls, what_it_calls, and related_symbols.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description gives explicit context for when to use the tool: 'Call this before editing shared code and after finishing, to pick tests.' It does not explicitly name alternatives or state when not to use it, but the workflow guidance is clear and actionable.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
file_summaryA
Outline of one file: what it defines, what it imports, who imports it.
Cheaper than reading the file when you only need to know whether it is relevant, and it adds the reverse-import view that reading cannot give you.
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | File path, or any distinctive part of one |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the burden of explaining behavior. It discloses what the outline contains (definitions, imports, importers) and notes that it is cheaper than full file reading. It does not discuss edge cases like partial paths, errors, or cache behavior, but for a simple summary tool this is reasonably transparent.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two compact sentences put the core purpose first and the cost/use-case benefit second. Every sentence earns its place; there is no filler or redundant restating of the tool name.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a single-parameter tool with an output schema, the description explains what the result contains and why one would choose this tool. It could be slightly stronger about how this compares to adjacent sibling tools, but nothing essential is missing for a basic invocation.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100% and the sole parameter is already well described. The description adds no new parameter-level detail, which is acceptable since the schema fully documents the path parameter.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly identifies the tool's scope: an outline of one file covering definitions, imports, and reverse-imports. This distinguishes it from generic search or symbol tools by naming the specific resource and output aspects.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It explicitly frames the tool as a cheaper alternative to reading a file when only relevance matters, and highlights the reverse-import advantage. It does not name sibling tools or provide explicit when-not-to-use guidance, but the intended scenario is clear.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
find_symbolA
Locate where a symbol is DEFINED, with its file:line, signature and doc.
This is the right first call for "where is X?" -- it is exact and ranked by
structural importance, so if a repo has six functions called run, the one
the codebase actually revolves around comes first.
Use search_code instead when you only know roughly what the thing does
("the retry logic") rather than what it is called.
| Name | Required | Description | Default |
|---|---|---|---|
| kind | No | Filter by kind: function, method, class, interface, struct, enum, type, const | |
| lang | No | Filter by language: python, typescript, tsx, javascript, go | |
| name | Yes | Symbol name or qualified name, exact or partial | |
| limit | No | Max results |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are present, so the description carries the burden. It discloses a key behavioral trait: results are 'ranked by structural importance', illustrated with the six-run-functions example. It also mentions exactness and the output shape, though it does not discuss limitations like auth or rate limits.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Three sentences with no filler: the main purpose is front-loaded, the ranking behavior is immediately explained, and the alternative tool condition is given once. Every sentence earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
An output schema exists and the parameter schema is fully documented, so the description need not restate return types or parameter details. It supplies the missing context: when to use, how results are ranked, and when to switch to search_code, making it complete for an AI agent.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so the schema already documents all four parameters. The description adds little beyond contextual emphasis on exactness and ranking; it does not deepen meaning for kind, lang, name, or limit beyond the schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource: 'Locate where a symbol is DEFINED', with concrete outputs (file:line, signature, doc). It also distinguishes from the sibling search_code by positioning itself as the exact lookup for known symbol names, so an agent can tell when to use it.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Explicitly says this is the right first call for 'where is X?' and names the alternative: use search_code when you only know roughly what the thing does. This gives clear selection criteria without the agent needing to infer.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
get_symbolA
Full detail for one symbol: signature, doc, members, callers and callees.
Prefer this over reading the whole file: you get the definition plus its
immediate graph neighbourhood, which is usually all the context needed to
make a safe edit. Set include_source=true when you intend to modify it.
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | Caller/callee depth to include | |
| symbol | Yes | Symbol id, qualified name (`module:Class.method`), `path:name`, or bare name | |
| include_source | No | Include the full source text of the definition |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the burden of behavioral disclosure. It usefully states the returned artifacts (definition plus graph neighborhood) and the include_source toggle, but does not explain depth behavior, error cases, or cost of deep traversal. This is adequate but not deeply transparent.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two tightly packed paragraphs with no filler. The core purpose is in the first sentence, and the practical guidance follows immediately. Every sentence earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the output schema exists and parameter docs are complete, the description covers the essential context: what the tool returns, why to prefer it, and when to enable source. It doesn't cover depth semantics or error behavior, but those are partially covered in the schema and are minor for a read-only lookup tool.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so the baseline is 3. The description adds meaningful usage semantics for include_source ('when you intend to modify it') that goes beyond the schema, and the symbol parameter's accepted forms are already well documented in the schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource: 'Full detail for one symbol' with concrete contents (signature, doc, members, callers, callees). This clearly differentiates get_symbol from siblings like search_code, who_calls, and what_it_calls by scoping it to a single symbol's combined context.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Gives explicit usage guidance: prefer this over reading the whole file, and set include_source=true when you intend to modify the symbol. It does not explicitly name all sibling alternatives or when those would be better, but the 'prefer this over...' framing gives clear decision context.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
index_statsA
Index health: size, coverage, and the edge-resolution breakdown by rule.
Worth a call when graph answers look thin -- a low resolution rate or a stale
indexed_at tells you the index needs rebuilding rather than the code being
unusual.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the burden of behavioral disclosure. It explains what the tool reports, including size, coverage, resolution breakdown, and indexed_at, and adds diagnostic meaning beyond a simple field list. It does not explicitly state that the tool is read-only, but for a stats tool this is strongly implied by the content described.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is compact and front-loaded: the first sentence states exactly what the tool reports, and the second sentence gives actionable usage guidance. Every sentence earns its place with no filler.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a zero-parameter tool with an output schema available, the description provides everything needed to decide when and how to use it. It explains the tool's purpose, the data it returns, and the diagnostic scenario in which it is useful, leaving no meaningful gap.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The tool takes zero parameters, so there are no parameter meanings to clarify. The description still adds conceptual value by naming the key output dimensions (size, coverage, edge-resolution breakdown, indexed_at), which is appropriate for a parameterless tool.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly identifies the resource and content ('Index health: size, coverage, and the edge-resolution breakdown by rule'), which immediately distinguishes it from the symbol-focused sibling tools. However, it lacks an explicit verb like 'reports' or 'returns', so it falls just short of the strongest purpose clarity.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description gives an explicit trigger: 'Worth a call when graph answers look thin'. It also explains how to interpret results ('low resolution rate or a stale indexed_at tells you the index needs rebuilding rather than the code being unusual'), which is excellent practical guidance for when this tool is the right choice.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
search_codeA
Full-text search across symbol names, signatures and docstrings (BM25).
Use when you know the intent but not the identifier. Results are re-ranked by call-graph importance, so central symbols outrank incidental mentions.
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Max results | |
| query | Yes | Free-text query over names, signatures and docstrings |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations are absent, so the description carries full behavioral disclosure. It discloses that search uses BM25 and that results are re-ranked by call-graph importance, which is valuable non-obvious behavior. It could mention pagination or query-syntax details, but the core operation and ordering semantics are transparent.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Three sentences with no filler: the first defines scope, the second states when to use it, and the third explains ranking behavior. Every sentence earns its place, and the key use-case guidance is front-loaded.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the output schema and only two straightforward parameters, the description is nearly complete. It covers the tool's purpose, use case, searchable content, and result ordering. It does not explicitly state exclusions or name the exact-identifier sibling, but the sibling context and 'not the identifier' phrasing make the intended boundary clear.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The input schema describes both parameters completely, so the baseline is 3. The description reinforces that `query` is free-text and explains why certain matches outrank others, but it does not add per-parameter syntax or formatting detail beyond what the schema already provides.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description opens with a specific verb ('Full-text search') and a precise resource scope ('symbol names, signatures and docstrings'). The phrase 'Use when you know the intent but not the identifier' clearly distinguishes it from exact-identifier lookup tools such as find_symbol.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It gives an explicit usage condition: use it when the intent is known but the identifier is not. It does not name the alternative tool directly, but the contrast with exact-lookup siblings is strongly implied by the wording and the sibling list.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
what_it_callsA
Forward call tree: what this symbol depends on, transitively.
Use it to understand an unfamiliar function without reading every file it touches, and to spot the layer a piece of code really sits in.
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | Transitive callee depth | |
| limit | No | ||
| symbol | Yes | Source symbol (name, qualname or id) | |
| min_confidence | No |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the behavioral burden. It discloses the transitive, graph-walking nature of the tool, but does not mention performance characteristics, result size limits, or other runtime behavior beyond what the schema hints at.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is compact and front-loaded, with the core definition in the first sentence and practical guidance in the second. No filler or redundant restatement of the tool name.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
The description provides enough context for an agent to understand the tool's purpose and basic invocation. Some gaps remain around parameter semantics and explicit sibling differentiation, but the output schema and schema constraints partially fill those gaps.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is only 50%: symbol and depth are documented, but limit and min_confidence lack descriptions. The tool description does not compensate by explaining these parameters or clarifying their units/purpose.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's purpose: build a forward call tree of what a symbol transitively depends on. This distinguishes it from reverse-call tools like who_calls, though it does not explicitly name siblings.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides concrete use cases: understanding an unfamiliar function without reading every file, and identifying the layer a piece of code sits in. It gives clear context but does not state when to prefer an alternative tool or when not to use this one.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
who_callsA
Reverse call tree: everything that reaches this symbol, transitively.
The tool to use before changing a signature, tightening a validation, or deleting anything. Each edge reports the rule that produced it; treat sub-0.5 edges as leads rather than facts.
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | Transitive caller depth | |
| limit | No | Max results | |
| symbol | Yes | Target symbol (name, qualname or id) | |
| min_confidence | No | Minimum edge confidence (0.5 = precision-first) |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the behavioral burden. It discloses that each edge reports the rule that produced it and warns that sub-0.5 edges are leads rather than facts. It does not discuss cost or traversal size, but the output schema covers result shape.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Three compact sentences deliver the definition, the trigger scenario, and the confidence caveat. The description is front-loaded with the core purpose and every sentence adds distinct value.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a read-only analysis tool with a full output schema and fully documented parameters, the description covers what the tool computes, when to use it, and how to interpret weak results. Nothing essential is missing for selecting and invoking it correctly.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
All four parameters already have schema descriptions, so the baseline is 3. The description adds meaningful semantics for min_confidence, explicitly saying sub-0.5 edges should be treated as leads, and implies that depth and limit control transitive expansion.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description states a specific action and resource: 'Reverse call tree: everything that reaches this symbol, transitively.' This clearly distinguishes it from forward-call tools like what_it_calls without needing extra inference.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It gives concrete guidance on when to use the tool: 'The tool to use before changing a signature, tightening a validation, or deleting anything.' It does not explicitly list exclusions or alternatives, but the use-case framing is clear and actionable.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
10 tool updates
v0.1.0- First observed
architecture_overview - First observed
blast_radius - First observed
file_summary - First observed
find_symbol - First observed
get_symbol - First observed
index_stats - First observed
related_symbols - First observed
search_code - First observed
what_it_calls - First observed
who_calls
TDQS
Scored across 10 tools
Tool purposes are largely distinct and descriptions explicitly route agents to the right one, but find_symbol/get_symbol and who_calls/blast_radius have adjacent responsibilities that could occasionally cause misselection. Overall, the overlap is minor and well-documented.
All names are readable snake_case, but the set mixes verb-object names (find_symbol, search_code, get_symbol), question-style names (who_calls, what_it_calls), and noun-phrase names (blast_radius, file_summary, architecture_overview). This is not chaotic, but it lacks a single consistent naming pattern.
Ten tools is a well-scoped surface for a code-graph analysis server. Each tool addresses a distinct job—search, symbol detail, call trees, impact analysis, overview, index health—without redundancy or bloat.
The toolchain covers symbol discovery, detailed lookup, dependency analysis, impact assessment, file outlining, architecture orientation, and index health, giving strong coverage of the code-understanding workflow. Minor gaps like direct raw-file access or listing all symbols in a file must be worked around via file_summary and get_symbol.
Maintenance
Related MCP Connectors
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
Codebase graphs, caller impact analysis, and recorded project context for AI coding agents.
The Cortex MCP server provides read-only access to real-time engineering context from the Cortex developer portal, allowing AI coding assistants to answer natural language questions about your organization's catalog (microservices, libraries, domains, teams, infrastructure), scorecards (engineering standards and best practices), initiatives (goals and deadlines), and Engineering Intelligence metrics. It includes tools for querying documentation, tracking personal entities, and accessing AI-assisted insights across the entire Cortex ecosystem.
Coding agents in multi-service codebases routinely rebuild existing helpers, trust stale type definitions, and modify API contracts without knowing who consumes them. Carrick solves this by indexing your entire TypeScript ecosystem across service and repository boundaries. By integrating deeply with the TypeScript compiler, Carrick traces every route, type, and cross-service call while recording function behaviour so agents search by intent rather than name. Delivered via MCP for AI agents and LSP for IDEs, Carrick ensures models see existing endpoints and utilities before generating new code. The scanner is source-available and runs from your CLI or CI pipeline.
Related MCP Servers
- AlicenseNot gradedqualityCmaintenanceRepoNova is an MCP server that builds a persistent knowledge graph of your codebase, enabling AI agents to query code structure, dependencies, and semantics through 11 specialized tools.174 npm7MIT
- AlicenseNot gradedqualityDmaintenanceAn MCP server that gives AI agents structured code understanding and precise code intelligence via local indexing of AST, call graphs, and semantic search.147 npm4Apache 2.0
- AlicenseAqualityBmaintenanceAn MCP server that generates ranked, token-budgeted code structure maps using Tree-sitter AST analysis and PageRank, enabling AI agents to quickly understand unfamiliar codebases.220 npmMIT
- AlicenseNot gradedqualityAmaintenanceMCP server for local-first code intelligence, providing structural code graph, semantic search, and impact analysis to AI agents.2MIT