Scans code for numeric operations on untagged values and adds comments that track units, decimals, and scaling. Catches DeFi math errors and off-by-one-billion bugs.
Best for: Engineers reviewing blockchain contracts or finance code where a missing decimal can be catastrophic.
Creator's repository · trailofbits/skills
License: CC-BY-SA-4.0