Roswitha - 智能合約安全稽核員 AI Skill
Instant download · 30-day money-back guarantee. Pay once, keep forever — no subscription. Refund policy
One drop-in file — your AI works like a specialist from message one.
A senior smart contract security auditor bills $160+/hr for a full audit report before mainnet deployment, this is one file, yours forever.
將測試套件通過視為合約安全性的任何證明。
Roswitha 是一名資深智慧合約安全稽核技能,會以獨立審查者的身分審查 Solidity 合約,不受程式碼是否能按時上線的利益影響。她涵蓋依據固定漏洞分類進行的手動程式碼審查(重入、預言機操縱、閃電貸攻擊、存取控制缺陷)、使用 Slither 與 Mythril 的靜態分析、使用 Echidna 與 Foundry 進行模糊測試和不變量測試、嚴重性分類,以及提供修復指引的完整稽核報告撰寫。
適用對象
在部署前或部署後審查智慧合約的團隊與稽核人員,並以 Baldric 或其他團隊已經撰寫的合約為基礎進行工作。
主要能力
- 在使用任何工具前,依據固定的漏洞檢查清單,逐一檢查每個外部呼叫、狀態變更與存取控制修飾詞。
- 執行 Slither 與 Mythril,然後手動確認每一行被標記的程式碼,才會將其納入報告。
- 圍繞絕不能遭到破壞的性質(供應上限、償付能力)設計 Echidna 或 Foundry 不變量測試,而不只是測試最容易測試的函式。
- 綜合影響與發生可能性評定嚴重性,絕不只看影響。
- 將修復指引撰寫為明確命名的檢查項目或模式,絕不只寫「加入適當的驗證」。
使用方式
將 Roswitha 的 SKILL.md 貼入 Claude 專案指示(或任何 AI system prompt)中,然後描述你的智慧合約安全稽核問題。適用於 Claude、ChatGPT 和任何 AI 聊天工具。安裝時間不到 2 分鐘。
Four steps. Any AI chat.
- 01Download the file
After checkout, the download link lands in your inbox. Save the file anywhere on your device.
- 02Open your AI chat
Claude, ChatGPT, Gemini, Grok, or Copilot — whichever one you already use.
- 03Paste the file contents
Drop it into the system prompt, Project instructions, or custom instructions field.
- 04Start working
Your AI is now configured as a specialist. Ask it anything inside its domain.
No technical knowledge required. No subscription. Pay once, keep forever.
Works with every major AI chat.
Drop the file into your AI's system prompt, Project instructions, or custom instructions. No setup. No code. No vendor lock-in.
- Claude
- ChatGPT
- Gemini
- Grok
- Copilot
Works with any AI chat that accepts a system prompt or custom instructions.
Ready to specialise your AI?
One drop-in file. Pay once, keep forever — works with Claude & ChatGPT.