Cartograph
Cartograph
Inteligencia de código nativa para agentes. Convierte cualquier repositorio en un grafo de código consultable y sírvelo a agentes de codificación a través de MCP — para que un agente pueda preguntarse «¿qué se rompe si cambio esto?» en lugar de hacer grep y esperar.
tree-sitter + SQLite. Sin embeddings, sin almacén vectorial, sin claves API, sin servidor, sin coste.
→ Demo en vivo — generado a partir de un índice real de este repositorio en cada push.
El problema
Dale a un agente de codificación un repositorio grande y desconocido y observa lo que hace: grep, leer un archivo, grep otra vez, leer otro archivo. Quema contexto reconstruyendo una estructura que un parser podría haberle dicho en una sola llamada — y aun así se le escapa el llamador tres módulos más allá que su cambio acaba de romper.
La solución habitual es RAG: embeber el código base y recuperar fragmentos «similares». Pero «¿quién llama a esta función?» no es una pregunta de similitud. Tiene una respuesta exacta, y esa respuesta vive en el grafo de llamadas.
Cartograph construye el grafo y luego entrega a los agentes diez herramientas diseñadas para cómo trabajan realmente.
$ 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
…Una sola llamada, antes de la edición. No siete greps después de que la suite de pruebas se ponga roja.
Related MCP server: codeweave-mcp
Inicio rápido
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 treeConéctalo a un agente
Claude Code:
claude mcp add cartograph -- cartograph serve /path/to/repoO cualquier cliente MCP, mediante mcp.json:
{
"mcpServers": {
"cartograph": {
"command": "cartograph",
"args": ["serve", "/path/to/repo"]
}
}
}serve indexa en la primera ejecución si no existe ningún índice. Luego pregúntale a tu agente «¿qué se rompería si cambiara el validador de tokens?» y llamará a blast_radius en lugar de adivinar.
Las diez herramientas
Herramienta | Respuestas |
| ¿Dónde se define X? (ordenado por importancia estructural) |
| Búsqueda de texto completo sobre nombres, firmas y docstrings (BM25) |
| Un símbolo: firma, documentación, miembros, llamadores, llamados, fuente |
| Árbol de llamadas inverso — antes de cambiar una firma |
| Árbol de llamadas directo — entiende el código sin leer cada archivo |
| Qué podría romper un cambio, y qué pruebas ejecutar |
| «¿Qué más debería leer?» mediante PageRank personalizado |
| Qué define un archivo, qué importa y quién lo importa |
| Módulos, capas, ciclos de importación, puntos calientes, puntos de entrada |
| Salud del índice y desglose de resolución de aristas por regla |
Además, recursos MCP (cartograph://architecture, cartograph://stats) y un prompt orient para una primera pasada orientada al grafo en un repositorio desconocido.
Lenguajes: Python, TypeScript, TSX, JavaScript, Go.
Decisiones de diseño que merecen debate
1. La confianza es una columna de primera clase
Sin un comprobador de tipos no puedes saber que store.who_calls() significa GraphStore.who_calls. Solo puedes clasificar hipótesis. Así que, en lugar de fingir, cada arista registra la regla que la produjo y una confianza:
Regla | Confianza | Intuición |
| 0.95 | la definición está justo ahí, en el ámbito |
| 0.90 | el archivo importó explícitamente este nombre |
| 0.85 |
|
| 0.75 | archivo hermano en el mismo paquete |
| 0.60 | exactamente un símbolo del repositorio tiene este nombre, llamada sin calificador |
| 0.45 | una coincidencia, pero sobre un receptor sin tipo |
| ≤0.40 | N candidatos, mantenidos como N aristas a 1/N cada uno |
| 0.00 | anclado en una importación de terceros/biblioteca estándar |
| 0.00 | genuinamente desconocido (dinámico, o un método con tipo) |
Los llamadores eligen entonces su propio punto de operación. who_calls usa por defecto ≥0.5 — primero la precisión, porque un agente actúa según la respuesta. blast_radius baja a 0.3 — primero la exhaustividad, porque una prueba afectada que se pasa por alto es el error caro, y un falso positivo solo le cuesta al revisor un vistazo.
Ese nivel name-only existe por un bug real. seen.add(...) sobre un set incorporado se resolvía al método add de una clase del repositorio, únicamente porque el nombre resultó ser único — y aparecía como un llamador con alta confianza. Un nombre de método sobre un receptor que no puedes tipar no es evidencia, así que ahora cae por debajo de la línea de precisión. (test)
external existe por honestidad con las métricas: en la mayoría de los repositorios, el grupo de «no resueltos» está dominado por typer.Option y sqlite3.execute. Meterlos en el mismo saco hace que la cobertura parezca mucho peor de lo que es, así que Cartograph informa de la resolución interna — de los lugares de llamada que podrían alcanzar un símbolo del repositorio, cuántos lo hicieron.
2. El análisis sintáctico es incremental; la resolución nunca lo es
Un archivo se vuelve a analizar solo cuando cambia su sha256. Pero las referencias brutas se almacenan como hechos en una tabla refs, y edges se recalcula como una función pura de (refs × símbolos) cuando algo cambia.
Esto es lo que hace fiable «reindexar después de cada edición». Si la resolución también fuera incremental, editar un archivo podría dejar una arista en otro archivo apuntando a un símbolo que se hubiera movido. La re-resolución global hace que eso sea estructuralmente imposible. (test)
El coste es real, así que hay exactamente un atajo seguro: si no se ha añadido, vuelto a analizar o eliminado ningún archivo, ambas tablas de entrada no cambian y la resolución es demostrablemente idéntica — por lo que se omite. Eso redujo un reindexado sin cambios de Django de 7.5s a 0.67s con un grafo byte-idéntico.
3. PageRank en lugar de embeddings
«¿Qué get querías decir?» es una pregunta estructural. El get del que dependen cuarenta lugares de llamada es el que el agente quiere, y el grafo de llamadas ya lo sabe. Así que el ranking de símbolos es PageRank ponderado sobre el grafo de llamadas — estable, explicable y gratuito. Sin modelo, sin construir índice, sin almacén vectorial.
related_symbols extiende la misma idea: PageRank personalizado con semilla en un símbolo, tratando el grafo como no dirigido, porque cuando estás a punto de cambiar una función, tanto sus llamadores como sus llamados son contexto relevante. Es el análogo estructural de la búsqueda semántica, y no necesita embeddings.
4. Las herramientas devuelven Markdown, no JSON, bajo un presupuesto de tokens
El consumidor es una ventana de contexto. Un array JSON de 40 símbolos gasta miles de tokens en llaves y claves repetidas, y el modelo lo reformatea de todos modos. Cada vista aquí es Markdown compacto con un presupuesto de tokens estricto.
Críticamente, cada truncamiento se anuncia. Un agente que recibe 20 de 87 llamadores sin ningún marcador concluirá con confianza que los otros 67 no existen, y luego borrará algo.
5. El recorrido se ejecuta en SQLite, no en Python
who_calls a profundidad 4 es una CTE recursiva, por lo que todo el recorrido permanece dentro del bucle C de SQLite. En el grafo de 252k aristas de Django eso son ~5ms. Traer la tabla de aristas a Python para recorrerla no lo sería.
Puntos de referencia
Repositorios reales, portátil con chip M, proceso único. Frío = índice completo desde cero; cálido = reindexado sin cambios.
Repositorio | Archivos | KLOC | Símbolos | Aristas | Frío | Cálido | BD | Resolución interna |
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% |
Latencia de consulta (mediana de 5, en cálido):
Repositorio |
|
|
|
|
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 |
Reprodúcelo con scripts/bench.py.
Arquitectura
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))Módulo | Responsabilidad |
| Descubrimiento de archivos — delega en |
| Un adaptador por lenguaje: extensiones, consultas, docstrings, claves de módulo, resolución de importaciones |
| AST → símbolos/referencias/importaciones, independiente del lenguaje |
| Patrones de captura de tree-sitter — el conocimiento específico del lenguaje, como datos |
| El grafo: |
| La cascada de confianza |
| PageRank, PageRank personalizado, SCC iterativo de Tarjan, capas |
| Recorrido con CTE recursivo, búsqueda clasificada, agregados |
| Una fachada para que la CLI y el servidor MCP no diverjan |
| Markdown con presupuesto de tokens |
Alcance sin consultas combinatorias
El truco que mantiene queries/*.scm pequeño: el ámbito nunca se codifica en la consulta. Cada definición capturada se indexa por su id de nodo de tree-sitter, y el símbolo contenedor de una referencia se encuentra recorriendo su cadena parent hasta dar con uno. Eso es O(profundidad del árbol) por referencia y gestiona cierres, métodos, clases internas y funciones flecha sin coste adicional — sin patrones por forma.
Añadir un lenguaje
Subclasifica LanguageAdapter (~40 líneas) y añade un archivo .scm. GoAdapter es el ejemplo completo más corto. tests/test_queries.py entonces compila automáticamente tus consultas contra la gramática y comprueba que capturan algo.
Desarrollo
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 # strictLa CI ejecuta la suite en Python 3.11/3.12/3.13 (además de macOS) y luego aplica dogfooding: indexa este repositorio, falla con ciclos de importación, verifica que un reindexado sin cambios no vuelve a analizar nada, y maneja el servidor MCP a través de stdio real. También instala la rueda construida en un venv limpio e indexa con ella, porque los archivos .scm empaquetados son fáciles de omitir de una rueda e imposibles de notar localmente.
El control de ciclos ya ha demostrado su valor: detectó un ciclo store → resolver → store que introduje en este repositorio, que se corrigió moviendo el helper problemático en lugar de relajar el control.
Pruebas notables
tests/test_queries.py— cada.scmcompila contra cada gramática que lo carga, y captura algo. Un patrón válido en JavaScript ((class_heritage (identifier))) es un patrón imposible en TypeScript, que envuelve los supertipos enextends_clause. Esa única línea produjo silenciosamente cero símbolos de TypeScript.tests/test_incremental.py— sin aristas obsoletas después de ediciones, eliminaciones o un símbolo que se mueve entre archivos.tests/test_resolver.py— cada regla se activa, y ninguna exagera su confianza.tests/test_cli.py— un lector y un indexador pueden mantener la base de datos a la vez.tests/test_docs.py— la página de demostración generada es HTML bien formado con etiquetas equilibradas, que es como se detectó el error de etiquetas cruzadas del renderizador de Markdown enmin_confidence.
Limitaciones
Dicho claramente, porque una herramienta de inteligencia de código que sobrevende su precisión es peor que inútil:
Sin inferencia de tipos.
self.conn.execute(...)no se puede resolver a un símbolo del repositorio sin conocer el tipo deconn. Esos terminan enunresolved, y son la mayor parte de lo que queda con una resolución interna de ~85%.El despacho dinámico es invisible.
getattr(obj, name)(), los registros de decoradores y los contenedores de DI no aparecen como aristas.Las aristas entre lenguajes no se rastrean. Un frontend en TypeScript que llama a un endpoint de Python son dos subgrafos desconectados.
Solo definiciones, no todas las referencias. Un símbolo utilizado como valor (pasado como callback) es más débil en el grafo que uno que es llamado.
Hoja de ruta: adaptadores para Rust y Java, enriquecimiento opcional con LSP para una resolución exacta cuando haya un servidor de lenguaje disponible, y un modo --changed-since <ref> para el radio de impacto limitado a un PR.
Por qué existe esto
Quería saber si la mayor debilidad de un agente de codificación en repositorios grandes — la falta de un modelo estructural del código — podía solucionarse con análisis estático y una superficie de herramientas bien diseñada, en lugar de con un modelo más grande o una base de datos vectorial. En su mayoría, se puede.
Licencia
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