Repository · steady
Sachin-Buluswar/reentbot
LLM agent harness for auditing Solidity smart contracts with static analysis, fuzzing, formal verification, and on-chain research
Repository · steady
LLM agent harness for auditing Solidity smart contracts with static analysis, fuzzing, formal verification, and on-chain research