dimension-propagator
from trailofbits/skills
Propagates dimensional annotations through arithmetic and call chains, reporting mismatches found during propagation
219
Lines
1,405
Words
4
Code Blocks
Languages
solidity
plugins/dimensional-analysis/agents/dimension-propagator.md