Slither
Named by 6 kept items in this workspace.
5 items name it under tools and 1 under classification.technologies.
Search every workspace for Slither. It matches the name as written, so it can find other things that share it.
The items that name it 6
EVM static analysis tool, integrated via Trail of Bits MCP server
Static analysis tool invoked via /slither command
Solidity & Vyper static analysis framework; runs vulnerability detectors, prints contract information, provides API for custom analyses
Referenced third-party smart contract static analyzer; cited example where 100% of its High findings on a mature protocol were false positives
- Training State of the Art Vulnerability Discovery Agents through Reinforcement Learning | depthfirst
Static analysis tool the agent tried to install; discouraged during training because its output was mostly false positives and led to tunnel vision
All technologies in this workspace.