Spaces:
Runtime error
title: Diffcontext
emoji: π
colorFrom: blue
colorTo: indigo
sdk: docker
app_port: 7860
DiffContext
Static-analysis-powered repository context compiler for LLMs.
Git diff + AST parsing + dependency graph + blast radius + impact scoring β optimized context package
Instead of dumping an entire codebase (or doing keyword/vector search), DiffContext:
- Parses Python files via AST β extracts every function, method, class
- Builds a dependency graph β calls, imports, inheritance, attribute ownership, decorators
- Detects changes β via git diff (including uncommitted edits) or snapshot comparison
- Computes blast radius β everything transitively affected by the change
- Scores impact β prioritizes symbols by structural importance
- Selects relevant code β respects a token budget
- Compiles context β structured output ready to paste into an LLM
On a real ~1,100-symbol production repo, this reliably produces 95β99% token reduction versus pasting the whole codebase, while keeping the functions that are actually call-graph-connected to your change.
Quick Start
Step 1: Install
git clone https://github.com/trakshan-mishra/Diffcontext.git
cd Diffcontext
pip install -e .
diffcontext --help
Step 2: Index a repository
diffcontext index /path/to/any/python/project
If any file fails to parse (a real SyntaxError), it's reported explicitly β
not silently skipped:
Skipping broken_file.py due to SyntaxError: unmatched ')' (line 237)
Step 3: Check impact of a function you're working on
This is the recommended default mode while actively editing β it doesn't depend on git at all, so it works on uncommitted or untracked files too:
diffcontext blast --changed ./src/auth.py:validate_jwt
Shows who calls it, what it calls, and the full transitive blast radius.
Step 4: Auto-detect changes from git (optional)
diffcontext diff
Compares your working tree (including uncommitted edits to tracked files)
against HEAD~1 by default. Note: this only sees changes to files git
already knows about β a brand-new untracked file is invisible to any
git-diff-based tool until you git add -N <file> or commit it. Use
--committed-only to compare two commits and ignore working-tree changes.
Step 5: Build LLM-ready context
# From a specific function:
diffcontext compile --changed ./src/auth.py:validate_jwt
# From git diff:
diffcontext compile --ref HEAD~1
# With a token budget:
diffcontext compile --changed ./src/auth.py:validate_jwt --max-tokens 8000
# JSON output (for piping into another tool):
diffcontext compile --changed ./src/auth.py:validate_jwt --json
Then paste the output into Claude / ChatGPT / your LLM of choice, with a specific question β not just the raw context. E.g.:
"Is the dynamic SQL construction in
update_runsafe, given howkwargsis validated against_UPDATABLE_RUN_COLUMNS?"
Step 6: Use as a library
from diffcontext.pipeline import index_repository, analyze_impact, compile
idx = index_repository("/path/to/repo")
impact = analyze_impact(idx, ["./src/auth.py:validate_jwt"])
ctx = compile(idx, impact, max_tokens=10000)
print(ctx.text) # the context to send to the LLM
print(f"{ctx.token_estimate:,} / {ctx.total_repo_tokens:,} tokens")
print(f"{ctx.reduction_pct:.1f}% reduction")
See USAGE.md for the full day-to-day workflow, including shell aliases.
Step 7: Cloud sync (CtxSync) (yet to be impemented)
diffcontext sync
One command. Compiles blast radius and pushes to your CtxSync cloud endpoint.
Credentials are read from ~/.ctxsync, env vars, or --url/--key flags.
Step 8: Use as an MCP Server (Claude Desktop / Cursor)
DiffContext includes a built-in Model Context Protocol (MCP) server, allowing AI assistants to natively query your codebase's blast radius without manual copy-pasting.
1. Install with MCP support:
pip install -e .[mcp]
2. Configure your AI client:
For Claude Desktop (claude_desktop_config.json) or Cursor:
{
"mcpServers": {
"diffcontext": {
"command": "diffcontext-mcp"
}
}
}
Now you can just ask your AI: "What is the blast radius of validate_jwt in the diffcontext repo?" and it will autonomously use DiffContext to find the precise context!
What the resolver actually handles
Confirmed via an automated test suite (tests/) that builds small repos on
the fly and asserts on real resolved call-graph edges β not just "it ran
without crashing":
- Function and method calls, including multi-hop attribute chains (
self.a.b.method()) - Multiple inheritance / MRO, including cross-file base classes
- Circular imports
- Local variables instantiating a class inside a free function (not just
self.x = ...inside a method) β e.g.h = Handler(); h.process() - Annotated parameters as call receivers (
def run(h: Handler): h.process()) - Import aliasing (
from .user import Handler as UserHandler), including disambiguating two same-named classes in different files - Bare
import xwherexlives in a sibling directory rather than the repo root (common in script-style codebases) - Decorators: a decorated function's graph entry now correctly includes
calls made by its decorator's wrapper β e.g.
@require_authwrappingget_profilecorrectly showsget_profiledepending on whateverrequire_auth's wrapper calls (like a session check), not falsely attributed torequire_authitself - Higher-order stdlib functions:
map(fn, items),sorted(x, key=fn),filter(fn, items)β a function passed by reference to these is tracked as an implicit call
Known limitations (genuinely unfixable by static analysis, not bugs)
- Dynamic dispatch /
getattr()-based routing:getattr(obj, name)()can't be resolved statically whennameis computed at runtime (from config, user input, etc.) β no static analysis tool can do this in general, including IDEs. - Cross-file changes related by theme, not by function calls: e.g. "remove a dependency," touching 3 files for one conceptual reason with no direct call-graph edges between them. Blast radius is a call-graph tool; it cannot detect relatedness that isn't expressed as a function call.
- User-defined higher-order functions: only the common stdlib cases
(
map,filter,sorted/max/minwithkey=) are recognized. A custom function likedef apply_twice(fn, value): return fn(fn(value))is not β this would need cross-function signature analysis to know which parameter is expected to be callable.
Run grep -rn "function_name(" --include="*.py" . to spot-check anything
important before fully trusting "no callers found."
Architecture
diffcontext/
βββ __init__.py # Package entry, high-level API
βββ models.py # Data classes (Symbol, RepositoryIndex, etc.)
βββ scanner.py # File discovery with exclusion list
βββ parser.py # AST symbol extraction
βββ resolver.py # Import -> filesystem path resolution
βββ symbols.py # Attribute / local-var type tracking
βββ graph_builder.py # Core: dependency graph construction
βββ pipeline.py # Pipeline orchestrator
βββ _warn_once.py # De-duplicated warnings (broken files, encoding, unknown symbols)
βββ diff/
β βββ git_diff.py # Git diff -> changed symbols
β βββ state_manager.py # Snapshot-based change detection
βββ impact/
β βββ blast_radius.py # Reverse graph traversal
β βββ scoring.py # Impact scoring
β βββ traversal.py # Forward dependency expansion
β βββ visualizer.py # Terminal tree rendering
βββ context/
β βββ selector.py # Token-budget-aware selection
β βββ compiler.py # Structured output formatting
βββ cli/
βββ __init__.py # CLI: index, impact, diff, compile, blast, sync
Try it (30 seconds)
bash demos.sh # interactive β pick from 5 famous repos or use your own
How symbol IDs work
Every function gets a unique ID: ./relative/path.py:ClassName.method_name
./src/auth.py:validate_jwt
./src/flask/app.py:Flask.route
No parentheses, no arguments β validate_jwt, never validate_jwt(token).
Testing
python3 -m pytest tests/ -v
17 tests, all self-contained (no external clone needed), covering both correct resolution and the documented limitations above β including tests that were written to fail loudly if a future change silently regresses something that's currently working.
Status
This is a personal project, built and iteratively debugged against real
production codebases (openai/whisper, pallets/click, pallets/flask). Several
real resolver bugs were found and fixed through dogfooding β decorators,
higher-order functions, and sibling-directory imports all required fixes
that were only visible on real code, not toy examples. Treat blast-radius
output as a strong starting point, not a guarantee, and spot-check with
grep on anything load-bearing.
License
MIT
Benchmarks & Performance (Baseline)
We adhere strictly to Measure Before Optimizing. Our baseline metrics demonstrate that traversal and compilation are nearly instantaneous, while parsing and graph construction are the primary bottlenecks. This data drives our roadmap for v0.4 (Incremental Caching).
| Repo | Files | Symbols | Parse (ms) | Graph Build (ms) | Traversal (ms) | Compile (ms) | Token Reduction |
|---|---|---|---|---|---|---|---|
| Flask | 20 | 354 | 488 | 930 | 0.1 | 0.0 | 98.15% |
| Click | 19 | 506 | 1273 | 1824 | 0.2 | 0.0 | 96.51% |
| HTTPX | 21 | 434 | 665 | 1147 | 0.1 | 0.0 | 96.70% |
| Pydantic | 90 | 1826 | 4519 | 7914 | 0.6 | 0.0 | 98.43% |
Note: Peak memory for Pydantic (the largest repo) was only 66.4 MB, validating that memory is not currently a bottleneck.