Other

soroban-security-scanner

"An automated security scanner for Soroban smart contracts. It enables invariant-driven development by enforcing core business logic and state consistency properties to prevent logic vulnerabilities."