01Verification of gas checks for forward TON transfers
02Deep analysis of FunC programming language patterns
032 GitHub stars
04Automated detection of integer-as-boolean logic errors
05Integration with Trail of Bits security best practices
06Identification of fake Jetton contract vulnerabilities