This is not one report or three fixed workflows: 39 methods project the same reusable graph into the smallest view needed for each task. Grep sees text; Weavatrix sees structure: files, symbols, runtime edges and compile-time coupling — including Rust module paths, Java OOP relationships and project-internal Java receiver call flow. Typed adapters build semantic evidence for code, contracts and infrastructure, while the lossless parser preserves every supported source surface without pretending that CSS and Rust have the same semantic depth. A bounded, package-pinned TypeScript/JavaScript LSP overlay verifies ambiguous references locally without a native compiler or network request.
Fast application understanding
module_map, communities, endpoints and focused graph/context views turn a large unfamiliar repository into a bounded workset before the agent starts reading files.
Proof-carrying change safeguard
verified_change plans and verifies one change through exact context, blast radius, graph drift, architecture, duplicate, API and optional test ratchets, returning PASS, BLOCKED or an explicitly incomplete evidence state.
Change impact
change_impact diffs your branch (staged, unstaged, untracked included) and lists everything that depends on what you touched — with test coverage attached and untested hotspots called out.
Blast radius per symbol
get_dependents walks reverse edges transitively: every caller, importer and subclass that can feel your refactor, ranked by proximity and connectivity.
Signal-aware health audit
run_audit finds dead code, dependency mistakes and orphans, separates runtime cycles from compile-only coupling, and reports a capability matrix so missing local JARs, dynamic build logic, runtime, concurrency or advisory evidence can never look clean.
Exact REST and symbol context
list_endpoints proves declared versus reachable routes, mount chains and conditional Spring controllers. trace_endpoint follows one route; context_bundle ranks production callers and preserves call-site provenance.
Cross-repo API contracts
trace_api_contract joins HTTP, GraphQL, gRPC and event contracts across registered local repositories. Fresh revision-bound runtime or OTLP evidence confirms dynamic identities; uncaptured paths remain explicitly unproven instead of being guessed.
Clone detection, three lenses
find_duplicates uses MOSS winnowing over method bodies and embedded strings. It ranks near-clones and same-name divergence as review evidence while suppressing homogeneous router boilerplate by default.
Structural diff
rebuild_graph + graph_diff report the architecture delta of your edits: runtime versus compile-time dependencies, changed cycle membership, and symbols that lost their last caller.
History-backed architecture
git_history combines bounded local churn with graph connectivity, hidden co-change coupling and expected test/source movement. It reads numstat evidence, not commit messages, authors or source bodies.
Intended architecture ratchet
get_architecture_contract previews an adaptive Maven/Gradle/monorepo target before an explicit one-time approval; prepare_change and verify_architecture enforce it without silently rewriting policy.
One-call multi-repo mode
open_repo switches the active local repository and builds missing graphs through an explicit offline tool call. It also upgrades legacy graphs to edge metadata v2; omit retarget to pin one repository.
Code and schemas
Symbols, imports, ownership, calls and domain evidence where the source can prove them.
RustJavaScript / JSXTypeScript / TSXPythonGoJavaC#CC++SQLBash / ZshSwiftSolidity
Contracts and configuration
Typed API, deployment and configuration facts with exact source spans.
GraphQLProtobuf / gRPCJSON / JSONC syntaxKubernetes YAMLTerraform / HCLXML
Documents and UI sources
Lossless structure and byte-for-byte source recovery for repository context.
HTML / Vue / SvelteCSS / SCSS / Sass / LessMarkdown / MDXreStructuredTextAsciiDoc