ExploitLens
My security research tool. Replays a Solidity exploit against the vulnerable commit and the patched commit under identical frozen inputs, aligns the two call trees, finds the first causal divergence and issues a scoped Fix Receipt: proof of what the patch actually blocked, never a generic secure badge. Ships with the STAX exploit as a reproduced fixture.
Built: the runner and executor, a semantic call tree aligner, a deterministic hashed evidence pipeline that fails closed, and a web viewer for Fix Receipts.