Fork of the Forge GNOME tiling extension worked through a 140-issue backlog with Claude — 200+ bugs fixed, a unit test suite, end-to-end tests running in CI, and a keybinding cheatsheet overlay — tagged as a beta and used daily, though not yet upstreamed.
Rust port of Angr’s core symbolic execution engine that matches or beats the Python original on 13 of 16 CTF benchmarks (up to 12.7x on the largest) and is now the default engine, built to over 160K LoC across 2,593 iterations of an autonomous agent loop.
Go tool that measures the total paved area of any city from open map data and forecasts decades of maintenance cost under different budgets and strategies, published as a browsable site covering Livermore, several metro areas, and the top 50 US cities.
Tool that parses CCDA health record exports and generates an interactive HTML dashboard with 101 achievement badges across 16 categories, activity heatmaps, location mapping, and analytics—all processed locally for privacy.
Automated Docker framework enabling comparative analysis of binary files across all 39 Ghidra versions to measure how tool updates affect disassembly, decompilation, and code similarity results.
Research infrastructure that executed over 10,000 experiments processing half a petabyte of data to quantify behavioral differences between virtual and physical testbeds for cyber security research validation.
Automated toolset that transforms network and host discovery data into high-fidelity emulation models, demonstrated by modeling SCinet’s 10,000 endpoints and enabling rapid Emulytics experimentation.
Fast, lightweight distributed VM orchestration platform that scales from laptops to massive clusters with virtually no setup, enabling large-scale cyber security experiments and emulation testbeds.