Cairo

cairo-vulnerability-scanner 會掃描 Cairo/StarkNet 智能合約中的六類重大問題，包括 felt252 算術錯誤、L1-L2 訊息傳遞缺陷、地址轉換錯誤與簽章重放等。若你要進行 StarkNet 合約的 Security Audit 審查，這個 cairo-vulnerability-scanner skill 很適合使用。