01
Mechanized Comprehension
Understand software systems through tooling that extracts structure, history, meaning, and intent from source code at scale.
A codebase research lab · Est. 2024 · Research since 2019
Methodologies and tools for that. Since 2019.
The work is organized around four themes that emerged from years of building tools and applying them in real-world engagements.
01
Understand software systems through tooling that extracts structure, history, meaning, and intent from source code at scale.
02
Verify correctness and prevent regressions through deterministic, change-time analysis.
03
Identify and resolve architectural drift, decay, and technical debt through tool-assisted intervention over expensive rewrites.
04
Evolve software deliberately toward new behavior through continuous, traceable, and guided transformation.
Open source tools born from real engagements. Each one built to solve a problem that manual approaches couldn't.
Renders a git repository as a zoomable sunburst of its directory structure, sized by lines of code. The whole codebase on one screen, at every zoom level.
Comprehension
A software design tool for AI-native developers and coding agents. Review design impact before commit.
Verification
Visualizes the structure of large Kotlin and Java classes as interactive graphs. A 3,000-line class on one screen, updating in real-time.
Comprehension
Structural analysis of Android codebases through graph queries via jQAssistant.
Comprehension
Leverages Git history to reveal tribal knowledge. Every codebase has a story in its version control. Timelapse makes it legible.
Comprehension
February 20, 2017: I picked up Michael Feathers' Working Effectively with Legacy Code while struggling with a codebase I couldn't make sense of. By 2019, I was building tools to solve it. What once took nine months to earn, a team's trust, collapsed to two or three days.
Read the full storyPapers, tools, and open source releases from the lab.
Feathers wrote the book that named the problem.
We're building the tools that solve it.