knot is a high-performance codebase indexer that extracts structural and semantic information from source code, enabling AI agents to understand, analyze, and navigate large code repositories. Currently supports Java, Kotlin, TypeScript, JavaScript/Node.js, Rust, Python, Groovy, C/C++, C#, HTML, and CSS/SCSS, plus Build Systems (Maven pom.xml, Gradle build.gradle, Jenkins pipeline, Cargo.toml, MSBuild .csproj + Directory.Packages.props), Configuration Files (YAML, JSON, .properties — optional), Kubernetes + Helm (optional), and Cross-Repo Dependency Linking with full cross-language linking.
For recent release notes see CHANGELOG.md.
The indexer automatically builds:
- Vector Search Database (Qdrant) — semantic understanding via embeddings
- Graph Database (Neo4j) — architectural relationships via call graphs
This dual-database approach powers both:
- MCP (Model Context Protocol) Server — Exposes four read-only tools (search, callers, explore, list_files/repos) to any LLM client (Claude, Gemini, ChatGPT, Cursor, etc.)
- CLI Tool — Standalone
knotcommand for terminal and scripting environments
An LLM agent exploring an unfamiliar codebase pays for every byte it reads. Without an index it greps and then reads whole files; with knot it receives a targeted answer. The difference was measured on three real indexed repositories across nine realistic exploration tasks:
| Repo | Lang | Task | knot tokens | Read-the-code tokens | Reduction |
|---|---|---|---|---|---|
| spring-ai | Java | discovery — how does the chat client run the advisor chain? | 1 092 | 10 168 | 89.3% |
| spring-ai | Java | callers — who uses ToolCallingManager? |
8 808 | 15 554 | 43.4% |
| spring-ai | Java | explore — structure of DefaultChatClient.java |
4 865 | 7 838 | 37.9% |
| puppeteer | TypeScript | discovery — how is a CDP session created? | 609 | 4 149 | 85.3% |
| puppeteer | TypeScript | callers — who calls createCDPSession? |
1 004 | 39 878 | 97.5% |
| puppeteer | TypeScript | explore — structure of the Page API |
7 287 | 25 300 | 71.2% |
| knot | Rust | discovery — how are call intents resolved? | 594 | 14 824 | 96.0% |
| knot | Rust | callers — who calls format_references_result? |
461 | 10 949 | 95.8% |
| knot | Rust | explore — structure of the graph query module | 978 | 12 103 | 91.9% |
| TOTAL | — | 9 tasks | 25 698 | 140 763 | 81.7% |
≈ 5.5× fewer tokens for the same nine questions — 115 000 tokens saved, enough to keep a long refactoring session inside a single context window.
Methodology (and how to reproduce it)
Both sides are measured on the exact bytes an LLM would receive as tool
output, counted with OpenAI's cl100k_base tokenizer (tiktoken):
| Task | knot side | Read-the-code side |
|---|---|---|
discovery |
knot search "<question>" --repo <r> --output markdown |
rg -l <keyword> (candidate list) + full read of the files that actually answer the question |
callers |
knot callers "<symbol>" --repo <r> --output markdown |
rg -n "\b<symbol>\b" + full read of the first 5 distinct files with hits |
explore |
knot explore "<file>" --repo <r> --output markdown |
full read of the file |
The baseline is deliberately generous, so the measured saving is a lower bound:
- greps are restricted to the source files of the language (
-t java,-t ts,-t rust) — no changelogs, no generated docs, nonode_modules; - for
discoverythe baseline is given oracle file selection: it reads only the files that answer the question, with zero wasted reads; - for
callersit reads at most 5 files, while a rigorous impact analysis would need every file with a textual hit.
Honest caveats: knot's cost scales with the number of results, not with repo
size. The weakest row (spring-ai / ToolCallingManager, 43%) is a symbol with
156 references — knot enumerates all of them with exact call sites, while the
capped baseline reads only 5 files and still cannot tell a call from a comment.
The explore rows for large classes are also the least favourable, because
signatures plus docstrings are a large fraction of a well-documented file.
Repositories measured (as indexed): spring-ai 2 406 files / 25 733 entities,
puppeteer 1 832 files / 19 310 entities, knot 222 files / 4 000 entities.
Raw measurements are stored in
.perf_metrics/token_savings.json.
pip install tiktoken # optional: falls back to a chars/4 estimate
# edit the `root` paths in scripts/token_savings_tasks.json to match your checkouts
python3 scripts/token_savings_benchmark.py \
--config scripts/token_savings_tasks.json \
--save-json .perf_metrics/token_savings.jsonThe task definitions live in
scripts/token_savings_tasks.json and the
harness in
scripts/token_savings_benchmark.py;
point them at any repository you have indexed to measure your own codebase.
🔍 Code Intelligence Tools
search_hybrid_context: Semantic + structural search. Find code by meaning, class name, method signature, docstrings, or comments. Returns full context including dependencies.find_callers: Reverse dependency lookup. Identify dead code, perform impact analysis, or understand the full call chain of any function/method. Whenever the query resolves to more than one entity sharing the same name (e.g.,find_nearest_entity_by_linein different files), results are automatically grouped by target (### Target: <fqn> at <file>:<line>) showing which specific entity each caller references — including when only one of the homonyms has callers. A genuinely single-target resolution keeps the concise ungrouped form. Supports cross-repository call resolution viaDEPENDS_ONgraph edges. For JVM languages (Java/Kotlin/Groovy) it also surfaces method-levelOVERRIDESedges bidirectionally — an Overridden by group listing subtype implementations/overrides and an Overrides group listing the supertype methods a method implements/overrides.explore_file: File anatomy inspection. Quickly see all classes, interfaces, methods, functions, constants, and other entities in a file with signatures and documentation. Attribute-usage markup tokens (html_class,html_id) are summarized in a separate section by default to avoid cluttering code lists; use--include-markup(CLI) orinclude_markup: true(MCP) to list them in full. Structured content returnsmarkup_countandmarkup_referencesalongsideambiguous_path_candidates.list_repo_dependencies(MCP) /knot deps(CLI): Dependency graph visualization. Show which repositories depend on each other, forward and reverse, with transitive resolution.list_files(MCP) /knot files(CLI): Read-only file enumeration with entity counts, deterministically ordered. Accepts an optionalpath— a repo-relative directory prefix matched on a path boundary (src/apinever matchessrc/api-notes.md) or a glob (src/**/*_test.rs). Prefixes and globs alike page the repository file list in pages of 2000 entries with per-page boundary filtering, ensuring no valid candidates are dropped. When output exceeds 2000 matches, a truncation notice is displayed below the table reporting the exact pre-truncation match count when known (or an explicit lower bound when the scan stopped early). JSON output carriestotal_matchesandtotal_is_lower_bound. Pair with the new--path/pathscope onsearch_hybrid_contextto restrict a semantic search to a subtree.list_repositories/knot repos: Repository inventory. List every indexed repository along with its entity count, file count, build system, and primary language. Supports optional case-insensitive name filtering via--filter(CLI) orfilterparameter (MCP). Useful for orientation, sanity-checking indexing runs, and discovering which languages and build systems are present in the workspace.
🏗️ Multi-Language Support
- Java: Full AST extraction with package-aware FQN resolution (e.g.,
com.example.app.UserService), class inheritance (EXTENDS), interface implementation (IMPLEMENTS), annotation tracking, and field-access method invocation resolution - Kotlin: Complete support for Kotlin codebases with classes, interfaces, objects, companion objects, functions, methods, and properties. Fully compatible with tree-sitter-kotlin-ng grammar.
- C#: Full C# support via
tree-sitter-c-sharp. Extracts classes, interfaces, structs, records (bothrecord classandrecord struct), enums, methods, constructors, properties, fields (withconstdetection), delegates, events, indexers, operators, local functions, and namespaces withCSharp*entity kinds. Namespace-qualified FQNs (MyApp.Services.UserService.GetUserAsync) work across both file-scoped (C# 10+) and block-form namespaces, including nested namespaces and nested types. Thebase_listheuristic splits: Base, IFaceintoEXTENDS/IMPLEMENTSusing theIPascalCaseconvention (structs and interfaces are deterministic), generic arguments are stripped (IRepository<User>→IRepository), XML doc comments (///) become docstrings, and attributes ([Obsolete]) are captured as decorators. Calls through field-typed receivers resolve to the exact implementation method, and C#virtual/overrideplus interface implementation produce method-levelOVERRIDESedges. MSBuild/NuGet:.csprojfiles are parsed for project identity and dependencies (Central Package Management viaDirectory.Packages.propsis supported); C# repos getbuild_system: "nuget"in the Repository node instead of the prior"none". - TypeScript/TSX/CTS: Complete support for modern JavaScript/TypeScript codebases, including CommonJS TypeScript files
- JavaScript/Node.js: Vanilla JS, Node.js, and module systems (
.js,.mjs,.cjs,.jsx) - Hybrid Web Ecosystem: Cross-language linking between JavaScript, HTML, and CSS for full-stack SPA analysis
- HTML: Custom elements (Web Components, Angular),
idandclassattribute indexing for cross-language CSS search - JSX/TSX Attributes: Extracts
idandclassNamefrom React components for unified HTML/CSS discovery - CSS/SCSS: Stylesheet indexing with class/ID selector extraction and variable tracking (CSS/SCSS variables, mixins, functions)
- Rust: Struct, enum, union, trait, function, method, module extraction with trait implementation tracking (IMPLEMENTS relationships) and macro invocation references. Methods are indexed with the qualified FQN
Type::method(e.g.,KnotMcpHandler::new,WidgetA::new,Logger::new) and qualified calls from top-level functions resolve to the right target by receiver. Braced import/use capture —use foo::{Bar, Baz}anduse foo::Bar as Bazproduce explicit REFERENCES edges for all imported names, including traits imported solely to bring methods into scope. All Rust entity FQNs are now anchored at the owning crate and module path (e.g.knot::config::Config,knot::pipeline::parser::languages::rust::qualify_rust_fqns), so two crates that declare a type with the same bare name no longer collide. Files outsidesrc/(tests, benches, examples) receive a__fixture::<path>::<Entity>FQN prefix (e.g.__fixture::tests::testing_files::sample::Config), and files without aCargo.tomlancestor receive__loose::<path>::<Entity>, preventing name collisions with real source entities. CONTAINS relationships useenclosing_class_fqnfor exact disambiguation when multiple entities share the same class name. The on-disk index state file (.knot/index_state.json) carries aversionfield; opening a state file from an older version prints an error with instructions to runknot-indexer --clean. - Python: Full Python extraction with class, function, method support, constants, module-level imports,
ValueReferencetracking for keyword arguments, class inheritance (EXTENDS), decorator extraction (@property,@staticmethod,@route(...),@dataclass), generic type hints (List[str],Optional[Dict],*args/**kwargs), Py2/Py3 exception syntax compatibility, andself.method()resolution with inherited method walking. Capturesclass_definition,function_definition(including async via optionalasyncmodifier), lambda assignments, and distinguishes methods from functions via parent context detection. Class instantiation (ClassName(...)) is automatically redirected toClassName.__init__sofind_callers ClassName.__init__lists every constructor call site (with fallback to inherited__init__via the extends chain); only class/struct kinds trigger the redirect — functions keep the legacy behavior. - Groovy: Full Groovy language support via hybrid tree-sitter + ad-hoc lexical parser. Extracts classes, interfaces, traits, enums, typed/
def/quoted methods (incl. Spock specs), constructors, closures, script-level variables, fields/properties with visibility modifiers, nested classes, and decorators. Tracks package FQN and enclosing class relationships. Multi-line signatures (closure default params), assignment-vs-declaration disambiguation, innermost assignment for nested closures, UUID collision fix for duplicate method names,find_callersaccurately tracks private methods including those in anonymousnew AnActionclosures. Inheritance tracking: emitsEXTENDS/IMPLEMENTSreference intents forclass/interface/trait/enumheaders (single-line and multi-line) sofind_callerssurfaces real nextflow-style hierarchies — qualified parents (e.g.extends nextflow.plugin.BasePlugin) and generic-argument stripping (e.g.extends AbstractRepo<Order, Long> → extends AbstractRepo) are supported, and generic bounds (class Box<T extends Comparable>) are correctly not promoted to inheritance edges. Property accessors: bare property declarations (Path baseDir,boolean cacheable) are now indexed asGroovyProperty, and compiler-generatedgetX/setX/isXaccessors are synthesised as first-class method entities soOVERRIDESedges link Groovy properties to interface getter declarations. Comment-stripping prevents Javadoc continuation lines (* The pipeline script name) from producing phantom entities or corrupting scope tracking. - Build Systems: Maven
pom.xml(dependencies + plugins via roxmltree), Gradlebuild.gradle(deps + plugins + tasks),Jenkinsfilepipeline (stages + steps), CargoCargo.toml(deps + workspace members + features), and MSBuild.csproj/Directory.Packages.propsextraction. MSBuild resolves project identity (<PackageId>→<AssemblyName>→ file stem), emits aBuildDependencyper<PackageReference>(attribute-form and version-less), and resolves Central Package Management versions from the nearestDirectory.Packages.propsancestor. UTF-8 BOMs are tolerated defensively. Identity markeridentity: package_idis carried in the signature when the project has an explicit<PackageId>so the cross-repo resolver prefers published packages over depth-tied unmarked candidates. - Cargo.toml: Rust package manager support with package metadata, features, workspace members, and multi-format dependency parsing (simple, table, git, path).
- Configuration Files: YAML (.yml/.yaml), JSON (.json), and Java Properties (.properties) with leaf-key granularity. Special handling for package.json (detected by filename: npm dependencies as BuildDependency, scripts as ConfigProperty, ProjectIdentity even for dependency-free library manifests).
- Varnish Cache: Hand-written parsers for
.vcl(configuration),.vtc(test cases), and.vcc(VMOD C source). VCL extracts backends, probes, ACLs, subroutines (custom + built-in withvcl_*names, including aggregator entities for multi-part built-ins),importdirectives (withasaliases andfrompaths),includeedges,unuseddeclarations, VMOD instantiations, andreq.backend_hintassignments. VTC extractsvarnishtest/vtestcases, servers, clients, varnish instances, logexpect blocks, barriers, and-vcl+backendsynthesised backends (withis_test_context). VCC extracts$Module,$Function,$Object,$Method,$Event,$Restrict, ENUMs, and default parameters. References:Calls,Extends,Implements,References(with intentsVclSubCall,VclBackendRef,VclProbeRef,VclAclRef,VclInclude,VclVmodImport,VclUnusedRef,ValueReference); relationships:UsesBackend,UsesProbe,UsesAcl,Includes,ImportsVmod,DeclaredUnused. The Fastly VCL dialect is detected and skipped (returns empty entities). - Kubernetes + Helm: K8s manifest parsing (Deployment, Service, ConfigMap, Secret, Ingress, Namespace) with label/annotation tracking and cross-resource references. Helm chart indexing (Chart.yaml metadata, values.yaml key-value pairs, template variable extraction via {{ .Values.X }}).
- C/C++: Complete C/C++ support with namespace-aware FQN resolution (
Engine::MyClass::start), class/struct extraction, function/method tracking, macro definition and usage detection (uppercase identifier heuristic), type reference tracking (declarations,newexpressions), and full call graph analysis. Supports.c,.h,.cpp,.hpp,.cc,.cxx,.hh,.hxxextensions via tree-sitter-c and tree-sitter-cpp parsers. Includes intelligent auto-detection for.hheaders to parse them correctly as C or C++ based on their contents. - Markdown: Documentation indexing with
MarkdownDocument(one per.md/.markdownfile) andMarkdownSection(one per ATX heading H1–H6). Section bodies — including paragraphs, fenced code blocks, lists, and tables — are captured intoembed_textfor full semantic search over documentation content, not just heading titles. FQNs are hierarchical and file-scoped (e.g.README.md::Setup > Installation > Linux), so same-named headings in different files or under different parents disambiguate cleanly. Section boundaries respect heading depth: a section's body extends until the next heading of equal or higher level, ensuring### Linuxunder## Installationdoes not bleed into a sibling## Configuration. Headings with inline markdown (backticks, em-dash, links, emoji) parse without losing their bodies, and realstart_line/end_linepositions are computed via tree-sitter for each section.
📚 Rich Comment Extraction
- Captures docstrings (JavaDoc, JSDoc) preceding declarations
- Extracts inline comments within method/function bodies
- Respects nesting boundaries (class comments don't capture method comments)
- Intelligently aggregates comment blocks
📊 Dual-Database Architecture
- Qdrant: Vector search for semantic code understanding
- Neo4j: Graph relationships for structural navigation
🚀 High Performance
- Parallel Streaming Pipeline: Overlaps CPU-bound embedding with I/O-bound ingestion via MPSC channels
- Incremental Indexing: Uses SHA-256 hashes to skip unchanged files
- Real-time Watch Mode: Automatically re-indexes changed files in seconds via
--watch - Embed-Text Recall: Every entity's embed text carries its identifier surface — name, FQN and the camel/snake-case-tokenized form of both, plus the tokenized names of what it calls in its body. A function with no doc comment is still findable by the behaviour described in natural language ("authenticate user with email and password" surfaces a doc-less
loginthrough thenormalize_email/verify_credentialsvocabulary in its body). Rust signatures ((email: &str, password: &str)) survive extraction too. Requires one re-index when upgrading from an older index state version (automatic: old states are rejected with instructions). - CPU Parallelism: AST extraction via Rayon
- Scalable: Configurable batch processing and constant memory footprint (~2GB) regardless of repository size
- Performance Benchmarking: Multi-level validation framework
- Unit benchmarks: Criterion-based benchmarks for parse, embed, and graph write throughput (
benches/) - E2E benchmarks: Full pipeline metrics capture with per-stage timing (
tests/benchmark_e2e.sh) - CI regression tracking: Automated baseline comparison against tolerance thresholds (
scripts/compare_perf_metrics.sh) - Token efficiency: LLM token cost of knot answers vs reading source files (
scripts/token_savings_benchmark.py) — see Token Efficiency
- Unit benchmarks: Criterion-based benchmarks for parse, embed, and graph write throughput (
| Component | Version | Notes |
|---|---|---|
| Docker | 20.10+ | For running Qdrant and Neo4j |
| qdrant | 1.x | Vector database (docker) |
| neo4j | 5.x | Graph database (docker) |
Go to the Releases page and download the native executable for your platform.
Install knot binaries (CLI, MCP server, and indexer):
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/raultov/knot/releases/latest/download/knot-installer.sh | shInstall agent-skills for your AI (Optional): Paste this into your LLM agent (Claude Code, OpenCode, Cursor, etc.):
Install the knot agent skills by following the instructions at: https://raw.githubusercontent.com/raultov/knot/master/README.md
The first command installs the knot binary to your PATH. The second (optional) allows your AI assistant to automatically download the agent skill index (.knot-agent.md) and run the installer to extract comprehensive guides for using knot CLI with AI agents and code analysis tools.
System Requirements:
- Linux: glibc 2.38+ (Ubuntu 24.04+, Debian 13+, Fedora 39+, Arch)
- macOS: Modern versions supported
- Windows: Use Docker (Option B)
Docker images provide universal compatibility for any Linux distribution and Windows.
Build the image:
docker build -t knot:latest . --network=hostRun the indexer:
# Use --network host to connect to databases running on your host machine
docker run --rm \
-v /path/to/your/repo:/workspace \
-e KNOT_REPO_PATH=/workspace \
-e KNOT_NEO4J_PASSWORD=your-password \
--network host \
knot:latest \
knot-indexerRun the CLI tool:
docker run --rm \
-v /path/to/your/repo:/workspace \
-e KNOT_REPO_PATH=/workspace \
-e KNOT_NEO4J_PASSWORD=your-password \
--network host \
knot:latest \
knot search "user login flow"Run the MCP server:
docker run --rm \
-e KNOT_REPO_PATH=/workspace \
-e KNOT_NEO4J_PASSWORD=your-password \
--network host \
knot:latest \
knot-mcpNote: Uses Debian Trixie (glibc 2.38+) and includes ONNX Runtime for full functionality.
cargo install --git https://github.com/raultov/knot1. Start infrastructure with Docker:
docker compose up -d2. Clone and build:
git clone https://github.com/raultov/knot
cd knot
cargo build --release3. Configure:
mkdir -p ~/.config/knot
cp .env.example ~/.config/knot/.env
$EDITOR ~/.config/knot/.env # Set KNOT_REPO_PATH and Neo4j credentials4. Index a codebase:
./target/release/knot-indexer5. Query via CLI:
./target/release/knot search "your query"6. Start the MCP server:
./target/release/knot-mcpOption A: Let an LLM do it
Paste this into any LLM agent (Claude Code, OpenCode, Cursor, etc.):
Install the knot agent skills by following the instructions at: https://raw.githubusercontent.com/raultov/knot/master/README.md
Option B: Terminal (Manual)
curl -sO https://raw.githubusercontent.com/raultov/knot/master/.knot-agent.md && curl -fsSL https://raw.githubusercontent.com/raultov/knot/master/scripts/install-agent-skills.sh | bashDownload knot binaries (CLI + MCP server):
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/raultov/knot/releases/latest/download/knot-installer.sh | shComprehensive documentation for using knot tools. The agent skills installer extracts:
- search.md — Semantic code discovery guide with examples
- callers.md — Reverse dependency lookup with critical usage rules
- explore.md — File anatomy inspection guide
- deps.md — Repository dependency graph guide
- repos.md — Indexed repository inventory
- workflows.md — Common patterns and best practices
For quick reference without downloading, see .knot-agent.md.
The knot CLI provides the same capabilities as the MCP server via command-line commands, making it ideal for:
- Terminal-only environments
- Bash scripting and automation
- CI/CD pipelines
- Direct integration with other tools
Three main commands:
knot search "user authentication" --max-results 10 --repo my-app
knot search "user authentication" --max-results 20 --repo "app-a,app-b" # Union across repos
knot search "user authentication" --max-results 20 --repo all # All indexed repos ('all' or '*')
knot search "user authentication" --kinds definition # Only functions/methods/typesFind code entities by meaning, class names, docstrings, or comments.
Ranking is kind-aware: function/method/class/struct definitions outrank
markdown docs, test files, config properties and build-dependency entities
for natural-language queries, and callers/helpers are shown as context
attached to a definition — never as substitutes. The shared entry point of
the highest-ranked helpers outranks those helpers, and an entity merely
named after a generic verb (find, get, create, build, acquire, …)
does not win on the bare verb unless its container (FQN) corroborates the
query. Use --kinds to narrow the
result types (aliases: definition, callable, class/type/struct, or
exact kinds like rust_function).
knot callers "LoginService" --repo my-app
knot callers "LoginService" --repo "auth-service,billing-service"
knot callers "LoginService" --repo allFind all code that references a specific entity (dead code detection, impact analysis, call chains). Whenever the query resolves to more than one target sharing that name, results are automatically grouped by target (### Target: <fqn> at <file>:<line>) with file locations and signatures — including when only one of the homonyms has callers.
Target resolution is code-only by default: documentation, configuration, build-system and Kubernetes/Helm entities (markdown_section, config_property, build_dependency, cargo_package, project_identity, k8s_*, helm_*, …) can never be presented as resolved targets. When the filter removes matches the response discloses them (Non-code matches hidden — N entities …) and names the fix (kinds=all to include them). A fuzzy query like cargo no longer fills the target list with Cargo.toml metadata. Fuzzy matching is also case-insensitive, so hikari finds Hikari-named artifacts. Queries shorter than 4 characters resolve by anchored name prefix rather than substring: knot callers use returns useSearch, useSources, useSaveCv and friends without dragging in every *STATUSES constant that merely contains use. Queries of 4+ characters keep the case-insensitive fuzzy substring fallback. Override the scope with --kinds all / MCP kinds:"all", or pass an explicit allow-list (--kinds callable, --kinds build_dependency).
The buckets cover every edge type the pipeline produces: Calls, Extends, Implements, References, Macro calls (Rust MACRO_CALLS), DOM references (JS → HTML element id), CSS class usage (JS → CSS class), script/stylesheet imports, the VCL edges (uses backend/probe/acl, includes, VMOD imports, declared-unused) plus Overridden by / Overrides — so init_vec's macro call sites and app-container's JS manipulators now show up instead of a false "may be unused".
Every caller entry is self-labeling: the owning repository is printed next to each row as (repo: <name>) — in the CLI table, the Markdown answer, and the resolution block — so rows stay attributable when the scope spans multiple repositories:
# References to `LoginService`
Resolved to 1 target by exact name match:
- `auth::service::LoginService` (class) at `src/service.rs:12` (repo: auth-service)
Found 1 reference(s) across all relationship types:
## Calls (1)
- **`signup`** (function) at `src/handlers.rs:88` (repo: auth-service)In the CLI table the Target column is labeled only for genuine cross-repo references (a caller in repo A referencing a target in repo B); the Caller column is always labeled when a repository is known.
knot explore "src/services/auth.ts" --repo my-appList all classes, methods, functions in a file with signatures and documentation.
knot deps my-app --depth 2 # Show forward dependencies (transitive)
knot deps my-app --reverse # Show who depends on this repoVisualize auto-discovered dependencies between indexed repositories with transitive resolution up to 3 levels deep.
knot repos # Table with REPO / BUILD SYSTEM / LANGUAGE / FILES / ENTITIES
knot repos --filter app # Case-insensitive name filter (substring match)
knot repos --output json # Machine-readable list
knot repos --output markdown # GFM table for chat UIsShow the status of every repository currently indexed in the graph database — useful for orientation, sanity-checking that an indexing run completed, and discovering which languages and build systems are present across the workspace. Use --filter to quickly locate a specific repository when working with multiple indexed codebases.
Repository Scope Selection:
Both the CLI --repo/-r flag and MCP repo_name parameter support:
- Single repository name:
--repo my-app - Comma-separated list:
--repo "repo-a,repo-b"(MCP also accepts["repo-a", "repo-b"]) - Sentinel:
--repo allor--repo "*"(searches every indexed repository)
Note: Multi-repo scope applies a global max_results limit across the union. Increase --max-results (range 1-100, enforced; larger values are clamped and a note is printed — no pagination, narrow with --kinds/--path/--repo or refine the query instead) when searching across multiple repositories.
For detailed CLI usage guide, see .knot-agent.md — a machine-readable skill that teaches LLMs how to use knot CLI for autonomous code analysis.
# First run: indexes all files
knot-indexer --repo-path /path/to/your/repo --neo4j-password secret
# Subsequent runs: only re-indexes changed files (fast!)
knot-indexer --repo-path /path/to/your/repo --neo4j-password secret
# NEW: Real-time Watch mode
knot-indexer --watch --repo-path /path/to/your/repo --neo4j-password secretHow it works:
- Tracks file content via SHA-256 hashes in
.knot/index_state.json - Stores the downloaded
fastembedmodel in.knot/fastembed_cache/to keep the workspace clean - Automatically detects: modified, added, and deleted files
- Only re-parses and re-embeds changed files
- Preserves graph relationships to unchanged files
- Processes entities in memory-efficient 512-entity chunks
Performance:
- Initial index (3800 files): ~60 minutes on standard hardware
- Incremental update (3 files changed): ~5-10 seconds
- Memory usage: Constant ~2GB regardless of repository size
# Force complete re-index (deletes all existing data)
knot-indexer --clean --repo-path /path/to/your/repo --neo4j-password secretUse --clean when:
- You want to rebuild the entire index from scratch
- You've changed Tree-sitter queries or embedding models
- Troubleshooting indexing issues
Upgrade note (v1.5.1): File paths are now persisted as repo-relative paths with POSIX separators (e.g.
src/pipeline/embed.rs). Upgrading from v1.4.x triggers an automatic full re-index on first run — the on-disk.knot/index_state.jsoncarries a version field that the loader rejects when stale, andknot-indexerthen wipes the repo from both databases before rebuilding. No manual steps required. Entity UUIDs become machine-independent in the process: the same repo indexed from different checkout locations now produces identical UUIDs.
The indexer emits [Progress] log lines showing real-time completion across
the whole pipeline (parsing, embedding, ingestion, reference resolution).
The percentage is monotonically non-decreasing and reaches 100% only
once the run genuinely terminates.
Upgrade note (v1.6.2): The percentage now spans the entire pipeline via weighted bands. Previously it measured only file reading and saturated at
100%within seconds of starting, then froze for minutes while embedding and ingestion were still running. Seedocs/specs/indexing_progress_accuracy_plan.mdfor the full design.
Example with 5000 files where 1000 have been parsed and 5,000 entities are half-way through ingestion:
[Progress] [my-repo] 50.0% — files 5000/5000, entities 41600/83200, batch #325 (128 entities)
| Phase | Band | Driver |
|---|---|---|
Idle / Discovering / Classifying / CleaningStaleData |
0% |
— |
| Parsing | 0% → 10% |
parsed_files / total_files |
| Embedding + Ingestion | 10% → 90% |
entities_ingested / total_entities |
ResolvingReferences |
95% |
fixed (no sub-counters available) |
Completed |
100% |
forced |
Failed |
last computed value | frozen |
A final log line confirms completion:
[Progress] [my-repo] 100.0% — files 5000/5000, entities 83200/83200 — parsing and ingestion complete, resolving references...
Callers that need to observe progress programmatically can use the ProgressTracker:
use std::sync::Arc;
use knot::pipeline::{ProgressTracker, run_indexing_pipeline_with_progress};
let progress = Arc::new(ProgressTracker::new());
let progress_clone = Arc::clone(&progress);
// Poll snapshot() from another task while the pipeline runs
tokio::spawn(async move {
loop {
let snap = progress_clone.snapshot();
println!(
"{:.1}% — files {}/{}, entities {}/{}",
snap.percent_complete,
snap.parsed_files,
snap.total_files,
snap.entities_ingested,
snap.total_entities
);
if snap.stage == IndexingStage::Completed || snap.stage == IndexingStage::Failed {
break;
}
tokio::time::sleep(std::time::Duration::from_millis(500)).await;
}
});
run_indexing_pipeline_with_progress(&cfg, &vdb, &gdb, &mut state, progress).await?;The snapshot() method is thread-safe (read-only locks + atomic loads) and returns a
IndexingProgress struct that serializes directly to JSON for REST endpoints.
To ensure indexer stability, run the E2E integration test suite:
# Run all language E2E tests (TypeScript, Java, JavaScript, Web, Kotlin, Rust, ...)
./tests/run_all_e2e_fast.sh
# Run only Kotlin E2E tests
./tests/run_kotlin_e2e.sh
# Run only Rust E2E tests
./tests/run_rust_e2e.sh
# Run only C# E2E tests
./tests/run_csharp_e2e.sh
# Run only Varnish E2E tests
./tests/run_varnish_e2e.shSee tests/KOTLIN_E2E_TESTS.md for detailed coverage and troubleshooting.
The MCP server exposes five tools to any compatible AI client (built on rust-mcp-sdk 1.1 implementing MCP protocol 2025-11-25 with full tool annotations):
Embedding the tool surface: library consumers can serve the same five tools
from their own transport (e.g. an HTTP /mcp endpoint) without going through
the stdio server. KnotMcpHandler::tools() returns the canonical tool table
(no state or database connection required), and
KnotMcpHandler::dispatch(params) executes a tools/call without needing an
Arc<dyn McpServer> runtime handle. The stdio ServerHandler methods delegate
to these two entry points, so every surface stays identical by construction.
Find code by meaning or keywords
Query: "How is user authentication implemented?"
Result: All auth-related code, signatures, docstrings, and dependencies
Capabilities:
- Semantic search by functionality (vector embeddings)
- Global multi-repository search by default (
repo_name: "all") - Class/method/function name lookup
- Docstring and inline comment search
- Architectural pattern discovery
- Full dependency context
Search ranking contract (kind-aware re-rank, query-time only):
- Definition channel — alongside the plain cosine scan, a second
bounded Qdrant pass excluding all non-code kinds guarantees code
definitions enter the candidate pool even on documentation-heavy
repositories (a prose-saturated cosine window once left the
entry-point signal dead). An explicit documentation-scoped search
(
kinds=markdown_section, …) never sees the code channel. - Recall channels in one pool — cosine hits, the definition channel, the name/token probe (identifiers the query literally names) and the caller-recall bridge (callers of the top semantic roots — seeded from the union of channels, depth 1 + depth 2 in the call graph) all merge into one deduplicated pool before ranking.
- Kinds — callables outrank type declarations, which outrank prose
and config/build/infra; test paths carry an additional penalty. A
neutral kind (
constant, …) whose graph node orchestrates ≥ 2 outgoing CALLS edges earns a boost: a TypeScript MCP tool isexport const x = defineTool({...}), and behavior is not the wiring's kind. Prose/config/test never take structural boosts. - Entry-point signal — how many of the top semantic roots a candidate calls, directly or through one helper, attributed to the caller covering a strictly greater root set with the full entry-point signature (≥ 2 distinct roots).
- Name-prefix contract is definition-only — a query matching an entity's name keeps leading slots only for definition kinds; prose, config/build and k8s/helm prefix hits are demoted into the pool and ranked on their own cosine (documentation-only topics with no competing definition still surface their best section). Test paths keep their slot but stay penalized inside the re-rank.
- Determinism — ties break on
(file_path, start_line, uuid); the CLI (knot search) and the MCP tool share the same core (run_search_hybrid_context).
Live-index verification of the reported recall regression set runs via the
opt-in harness tests/run_rank_recall_live.sh (requires indexed
repositories; skipped otherwise).
Find who calls a specific function
Query: "Find callers of getCurrentTimeInSeconds"
Result: All code that invokes this function + file locations
Each caller entry, target group header, and resolved target carries its repository as (repo: <name>), so results remain attributable under multi-repo scopes (repo_name: "all" or a comma list). The raw JSON (--output json) mirrors this with repo_name (referencing entity) and target_repo_name (referenced entity) fields on every row, plus repo_name on each resolution.targets[] entry.
Advanced: Search by Signature
# Find by full signature (Java)
echo '{"method":"tools/call","params":{"name":"find_callers","arguments":{"entity_name":"registerUser(String"}}}' | knot-mcp
# Find by parameter type (Kotlin)
echo '{"method":"tools/call","params":{"name":"find_callers","arguments":{"entity_name":"findById(Int"}}}' | knot-mcp
# Find by type annotation (TypeScript)
echo '{"method":"tools/call","params":{"name":"find_callers","arguments":{"entity_name":"(EventData"}}}' | knot-mcp
# Find by C# interface method (surfaces implementations + call sites)
echo '{"method":"tools/call","params":{"name":"find_callers","arguments":{"entity_name":"FindByIdAsync"}}}' | knot-mcpUse Cases:
- Dead Code Detection: Zero callers = unused code
- Impact Analysis: "What breaks if I modify this?"
- Refactoring Safety: Find all references before removing
- Override Discovery (JVM + C#): For Java/Kotlin/Groovy/C# methods, results include an
Overridden by group (implementations/overrides in subtypes) and an
Overrides group (the supertype methods a method implements/overrides). These
are backed by real
OVERRIDESedges built at index time and resolved transitively at query time, so querying an interface/superclass method surfaces every implementation, and querying an implementation surfaces the declaration it overrides.
Truncation & completeness: the queried name is first resolved to concrete targets, capped at 25 by default (hard ceiling 500). When more targets match, the response states it explicitly and quantified:
> **Truncated** — 112 targets matched; showing the first 25 by FQN.
> **Counts below are partial** — they cover only the 25 of 112 targets shown.
> Re-run with a fully qualified name, or raise `max_targets`, for the complete set.
The relationship buckets (Calls, Extends, Implements, References) are
complete for the resolved targets — there is no per-bucket cap — so the partial
counts caveat tells you exactly what to do next: pass a fully qualified name to
disambiguate homonyms, or raise max_targets (MCP parameter, default 25,
maximum 500; CLI --max-targets) to opt into the full impact set.
The same shown-vs-total contract applies to search_hybrid_context: when the
Sample callers: / Sample usages: blocks under an entity list fewer entries
than the reported count, the header reads
Sample callers — showing 3 of 21 (truncated): instead of implying the sample
is the complete set.
Understand file structure
Query: "What's in BrowserService.ts?"
Result: All classes, methods, constants, and functions with signatures and docs, plus compact markup summaries
Discover indexed codebases
Query: "What codebases are indexed?"
Result: Markdown table of all indexed repos with entity/file counts, language, and build system
Enumerate a repository's files
Query: path = "src/hooks", repo = "my-app"
Result: Ordered table of the files under src/hooks with their entity counts
search_hybrid_context shares the same path parameter to scope results
to that subtree.
Traverse cross-repository dependency graphs
Query: "What repositories depend on auth-lib?"
Result: Repositories declaring build dependencies (pom.xml, build.gradle, Cargo.toml, package.json, NuGet)
Indexing either side of a relationship creates the DEPENDS_ON edge:
index a library after its consumers and they are linked retroactively
(reverse sweep); an empty lookup is explained explicitly with a three-way
classification — declared-but-unindexed dependencies are listed by name
(uncapped), but a dependency that resolves to an indexed repository
without an edge yet is reported as a stale graph with a re-index hint
instead of being falsely called "not indexed"; the reverse direction names
consumers that declare the repo without an edge — never a bare
"No dependencies found."
knot works with any MCP-compatible AI client:
- ✅ Claude Desktop (Anthropic)
- ✅ Gemini CLI (Google)
- ✅ ChatGPT CLI / GPT (OpenAI)
- ✅ Cursor (AI IDE)
- ✅ Any standard MCP client
Add to claude_desktop_config.json:
{
"mcpServers": {
"knot": {
"command": "/absolute/path/to/knot/target/release/knot-mcp",
"env": {
"KNOT_REPO_PATH": "/path/to/indexed/repo",
"KNOT_QDRANT_URL": "http://localhost:6334",
"KNOT_NEO4J_URI": "bolt://localhost:7687",
"KNOT_NEO4J_USER": "neo4j",
"KNOT_NEO4J_PASSWORD": "your-password"
}
}
}
}{
"mcpServers": {
"knot": {
"command": "/absolute/path/to/knot/target/release/knot-mcp",
"env": {
"KNOT_REPO_PATH": "/path/to/indexed/repo",
"KNOT_QDRANT_URL": "http://localhost:6334",
"KNOT_NEO4J_URI": "bolt://localhost:7687",
"KNOT_NEO4J_USER": "neo4j",
"KNOT_NEO4J_PASSWORD": "your-password"
}
}
}
}Similar JSON configuration in your client's MCP configuration file.
All options can be set via CLI flags, environment variables, or a ~/.config/knot/.env file.
Priority (highest to lowest): CLI flags > environment variables > .env file.
| Env Variable | CLI Flag | Default | Description |
|---|---|---|---|
KNOT_REPO_PATH |
--repo-path |
(required) | Root directory of the repository to index |
KNOT_REPO_NAME |
--repo-name |
(auto-detected) | Repository name for multi-repo isolation (auto-detected from last path component) |
KNOT_QDRANT_URL |
--qdrant-url |
http://localhost:6334 |
Qdrant server URL |
KNOT_QDRANT_COLLECTION |
--qdrant-collection |
knot_entities |
Qdrant collection name |
KNOT_NEO4J_URI |
--neo4j-uri |
bolt://localhost:7687 |
Neo4j Bolt URI |
KNOT_NEO4J_USER |
--neo4j-user |
neo4j |
Neo4j username |
KNOT_NEO4J_PASSWORD |
--neo4j-password |
(required) | Neo4j password |
KNOT_EMBED_MODEL |
--embed-model |
AllMiniLML6V2 |
Embedding model (AllMiniLML6V2 (default) or the opt-in BGEBaseENV15) |
KNOT_EMBED_DIM |
--embed-dim |
(derived) | Deprecated (hidden): the dimension is derived from the model. A value that agrees warns; one that contradicts aborts. |
KNOT_BATCH_SIZE |
--batch-size |
128 |
Entities per batch |
KNOT_CLEAN |
--clean |
false |
Force full re-index (delete all existing data) |
KNOT_CUSTOM_CA_CERTS |
--custom-ca-certs |
(none) | Path to CA certificate bundle for corporate SSL proxies |
KNOT_INCLUDE_CONFIG_FILES |
--include-config-files |
false |
Include YAML/JSON/properties/K8s/Helm files in the index |
RUST_LOG |
(env only) | info |
Log level: trace, debug, info, warn, error |
knot supports exactly two embedding models, selected via KNOT_EMBED_MODEL or --embed-model. The default is chosen for backward compatibility: a v1.10.0 user upgrading finds zero re-index and zero configuration change — same model, same collection, same dimension.
| Model | dim | Default? | Qdrant collection (derived) |
|---|---|---|---|
AllMiniLML6V2 |
384 | yes | knot_entities (unchanged since 1.0) |
BGEBaseENV15 (opt-in) |
768 | no | knot_entities_bge768 (derived automatically) |
The supported set is closed: the whole model universe for knot is this table (src/pipeline/embed/model.rs), and adding a future model must be a one-row change there. The four models available in v1.10.0 only (BGESmallENV15, MultilingualE5Small, JinaEmbeddingsV2BaseCode, NomicEmbedTextV15) were removed on purpose — setting one aborts startup with an error listing the two accepted names. The vector dimension is derived from the model: KNOT_EMBED_DIM / --embed-dim are hidden and deprecated (a value that agrees emits a deprecation warning; one that contradicts is a hard error because it means you believe a different model is active).
An explicit collection (KNOT_QDRANT_COLLECTION set by CLI, env or .env) always wins; when it is unset, the model's derived collection applies — BGE users could otherwise collide with a fixed-size knot_entities created at 384.
search_hybrid_context re-ranks independently of the model's cosine scale: each candidate pool is normalized before the boosts are applied, so switching model does not require re-tuning the ranker.
Every index run records the producing model on the repository's :Repository node. On startup, knot and knot-mcp verify that the configured model matches the collection's real vector dimension and every marked repository:
- Dimension mismatch with the collection — aborts with an actionable message (a collection's vector size is fixed at creation).
- Every marked repository on another model — aborts, naming both models.
- Some repositories on another model — warns and names the repositories that will not appear in semantic search. Scope-limited searches (
search_hybrid_contextwithrepo) specifically return anoteinstead of a silent empty result. - Legacy index without markers — the dimension infers the model (
384 ⇒ AllMiniLML6V2,768 ⇒ BGEBaseENV15); a consistent legacy index is never fail-closed and self-heals (writes the marker) on the next index run.
# 1. Choose the model (consumers read this too):
export KNOT_EMBED_MODEL=BGEBaseENV15
# 2. Every repository needs a clean re-index; the alternative collection
# knot_entities_bge768 is derived automatically for every run afterwards:
KNOT_REPO_PATH=/path/to/repo KNOT_REPO_NAME=my-repo knot-indexer --clean
# 3. Restart every consumer (knot-mcp servers, knot CLI users).Cost and recall measurements for both models live in docs/measurements/ (model_cost_1_11.md, model_matrix_1_11.md).
The built-in extraction queries (queries/java.scm, queries/typescript.scm, queries/csharp.scm) can be overridden without recompiling:
KNOT_CUSTOM_QUERIES_PATH=/path/to/my/queries ./target/release/knot-indexerPlace java.scm, typescript.scm, and/or csharp.scm in your custom directory. Missing files fall back to built-in defaults.
In restricted corporate environments with SSL-inspecting proxies, you may need to provide a custom CA certificate bundle so that knot can download the embedding model from HuggingFace.
Via environment variable:
export KNOT_CUSTOM_CA_CERTS=/etc/ssl/certs/corporate-bundle.pem
./target/release/knot-indexer --repo-path /path/to/repo --neo4j-password secretVia CLI flag:
./target/release/knot-indexer \
--custom-ca-certs /etc/ssl/certs/corporate-bundle.pem \
--repo-path /path/to/repo \
--neo4j-password secretVia .env file:
echo "KNOT_CUSTOM_CA_CERTS=/etc/ssl/certs/corporate-bundle.pem" >> ~/.config/knot/.env
./target/release/knot-indexerThis works for all three binaries: knot-indexer, knot-mcp, and knot.
Step 1: Index a Java project
./target/release/knot-indexer --repo-path /home/user/my-java-app --neo4j-password secretStep 2: Query via CLI (Instant search)
./target/release/knot search "authentication logic"
./target/release/knot callers "UserService.login"Step 3: Start MCP server (For AI Agents)
./target/release/knot-mcpStep 4: Use with Claude Desktop
- Claude will list the read-only tool surface in its Tools menu
- Ask: "Search for all authentication logic"
- Ask: "Find who calls the login method"
- Ask: "Explore the structure of UserService.java"
knot includes a universal .prompt file in its root directory that automatically configures modern AI coding agents (Cursor, Cline, opencode, Claude, etc.) to use the knot-mcp tools correctly.
The directive explicitly instructs AI agents to prioritize:
search_hybrid_context— for semantic code discovery (instead ofgrep)find_callers— for reverse dependency analysis (instead of finding references manually)explore_file— for file structure inspection (instead of reading line-by-line)
This ensures that when you ask an AI agent to analyze, refactor, or understand your code, it leverages the full power of the vector and graph databases rather than falling back to context-blind regex searches. The .prompt file is universal and tool-agnostic, working with any LLM client that reads codebase directives.
Contributions are welcome! Please ensure:
- All code passes
cargo clippyandcargo fmt - No new
unsafecode (unsafe_code = "deny"at crate level; one audited exception insrc/utils/mod.rsfor corporate proxy CA bundle injection, documented via#[expect(unsafe_code, reason = "…")]) - Changes are compatible with Rust 2024 edition
- All new functionality includes unit tests
- Performance regressions are validated with the benchmark framework before submitting PRs
make check # Run all local quality gates (fmt, clippy, test, dupes)
# Or run gates individually:
cargo clippy --all-targets -- -D warnings # Must pass
cargo fmt -- --check # Must pass
cargo test # Run all unit tests
cargo dupes check # Code duplication checkThe project includes a three-level benchmarking framework to validate optimizations and detect regressions:
Level 1 — Unit Benchmarks (Criterion):
cargo bench --bench pipeline_bench # Parse + prepare throughput per language
cargo bench --bench graph_upsert_bench # Neo4j UNWIND batching speedup (needs Neo4j)
cargo bench --bench channel_backpressure_bench # Bounded channel overheadLevel 2 — E2E Integration Benchmarks:
# Full pipeline metrics with memory and per-stage timing
./tests/benchmark_e2e.sh --focus rust_e2e --output-dir /tmp/perf_results
# Compare against baseline (fails CI if tolerance exceeded)
scripts/compare_perf_metrics.sh /tmp/perf_results .perf_metrics/baseline.jsonLevel 3 — Token Efficiency Benchmark:
# Measures knot tool output vs grep + file reads on indexed repositories
python3 scripts/token_savings_benchmark.py \
--config scripts/token_savings_tasks.json \
--save-json .perf_metrics/token_savings.jsonUnlike levels 1 and 2 (which measure indexing throughput), this one measures the
consumer side: how many LLM tokens an agent spends to answer a question with
knot versus by reading source files. Requires rg, a built knot binary, the
repositories in the config already indexed, and optionally tiktoken for exact
token counts. See Token Efficiency
for the published results.
Baseline files: .perf_metrics/baseline.json stores the last known good metrics (committed, updated on main/master merges). Tolerance thresholds in .perf_metrics/threshold_tolerances.json control regression gates (±5% time, ±10% memory by default).
CI Integration: The test-performance job in .github/workflows/ci.yml runs after all E2E correctness tests pass, comparing results against baseline and fails the build on regression.
This project is licensed under the MIT License. See LICENSE for details.
For the full release history see CHANGELOG.md.
- Go support
- IDE plugins (VS Code, IntelliJ, Vim)
- Language Server Protocol (LSP) integration
- Automated Code Review tool (MCP-based)
- Ruby support
For issues, feature requests, or discussions, please open a GitHub issue.

