reverse engineer and formal methods

tangled guy

Community leader for @jj-vcs, working on Rust infrastructure and dev tooling projects