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.
Ten weeks of letting Ralph grind on the Rust symbolic execution engine – 2,593 iterations, six moonshots, runaway memories, and endless audits.
Evolving a Ralph-style Claude loop from a one-shot bash script into a generic Go tool driven by a finite state machine and reusable Go-CLI design scaffolding.
After months of iteration with Claude, a Rust port of Angr’s symbolic execution engine that matches or beats Python on most CTF benchmarks – up to 12.7x on the largest.