Searching protocol for "call-depth"
Reduce cognitive load for code tasks and reviews.
Symbolically test Solidity contracts for bugs.
Reduce cognitive load in code tasks and reviews.
Analyze STF for correctness and efficiency.
Refactor code to maximize readability and locality