hf-slither-rules
Custom Slither detectors for DeFi-specific vulnerability patterns including flash loan attacks, oracle manipulation, and governance exploits.
Python
Coming Soon
Resources
Tools
Security tools we are building internally. We plan to open-source these under MIT license as they mature. Repositories will be linked here when available.
sol-invariant-check
A Foundry plugin that automatically generates and tests invariant properties for Solidity contracts based on function signatures and state variables.
Solidity
Coming Soon
abi-diff
CLI tool for comparing contract ABI changes between versions, highlighting storage layout changes that could break proxy upgrades.
TypeScript
Coming Soon
mev-simulator
Historical MEV simulation framework for backtesting arbitrage and liquidation strategies against archived mempool data.
Rust
Coming Soon