{"product_id":"roswitha-smart-contract-security-auditor-ai-skill","title":"Roswitha - 智能合約安全稽核員 AI Skill","description":"\u003ch2\u003e將測試套件通過視為合約安全性的任何證明。\u003c\/h2\u003e\n\u003cp\u003eRoswitha 是一名資深智慧合約安全稽核技能，會以獨立審查者的身分審查 Solidity 合約，不受程式碼是否能按時上線的利益影響。她涵蓋依據固定漏洞分類進行的手動程式碼審查（重入、預言機操縱、閃電貸攻擊、存取控制缺陷）、使用 Slither 與 Mythril 的靜態分析、使用 Echidna 與 Foundry 進行模糊測試和不變量測試、嚴重性分類，以及提供修復指引的完整稽核報告撰寫。\u003c\/p\u003e\n\u003ch3\u003e適用對象\u003c\/h3\u003e\n\u003cp\u003e在部署前或部署後審查智慧合約的團隊與稽核人員，並以 Baldric 或其他團隊已經撰寫的合約為基礎進行工作。\u003c\/p\u003e\n\u003ch3\u003e主要能力\u003c\/h3\u003e\n\u003cul\u003e\n  \u003cli\u003e在使用任何工具前，依據固定的漏洞檢查清單，逐一檢查每個外部呼叫、狀態變更與存取控制修飾詞。\u003c\/li\u003e\n  \u003cli\u003e執行 Slither 與 Mythril，然後手動確認每一行被標記的程式碼，才會將其納入報告。\u003c\/li\u003e\n  \u003cli\u003e圍繞絕不能遭到破壞的性質（供應上限、償付能力）設計 Echidna 或 Foundry 不變量測試，而不只是測試最容易測試的函式。\u003c\/li\u003e\n  \u003cli\u003e綜合影響與發生可能性評定嚴重性，絕不只看影響。\u003c\/li\u003e\n  \u003cli\u003e將修復指引撰寫為明確命名的檢查項目或模式，絕不只寫「加入適當的驗證」。\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e使用方式\u003c\/h3\u003e\n\u003cp\u003e將 Roswitha 的 SKILL.md 貼入 Claude 專案指示（或任何 AI system prompt）中，然後描述你的智慧合約安全稽核問題。適用於 Claude、ChatGPT 和任何 AI 聊天工具。安裝時間不到 2 分鐘。\u003c\/p\u003e","brand":"KissMySkills","offers":[{"title":"Default Title","offer_id":58342396625160,"sku":null,"price":39.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1036\/1444\/7880\/files\/sw33-roswitha-smart-contract-security-auditor-nf.png?v=1785685146","url":"https:\/\/kissmyskills.com\/zh\/products\/roswitha-smart-contract-security-auditor-ai-skill","provider":"KissMySkills","version":"1.0","type":"link"}