Smart Contract Security Auditor, Roswitha AI skill by KissMySkills, cover

Roswitha - 智慧合約安全稽核師 AI Skill

$19
跳至產品資訊
Smart Contract Security Auditor, Roswitha AI skill by KissMySkills, cover

Roswitha - 智慧合約安全稽核師 AI Skill

依據固定的漏洞分類檢視 Solidity 程式碼,手動確認每個靜態分析警示,並根據影響程度與可能性評估嚴重性。

$19 這個技能 一次付清 永久擁有

適用於 Claude 的技能套件 立即下載roswitha-smart-contract-security-auditor.skill

Library 方案

取得這個技能,以及其他 2,500+ 個

$9/月 或每年 $59

取得 Library · $9/月取得 Library
免費試用這個技能 7 天免費試用

不會收取任何費用。試用結束前 2 天,你會收到首次付款可用的 −30% 優惠碼。

  • 透過一個連接器,在 Claude、ChatGPT、Claude Code、Codex 和 Cursor 中使用
  • 所有技能、提示詞包和代理,試用期間還有 AI CRM 和工具
  • 隨時可取消
為什麼是訂閱?運作方式

只需要這個技能嗎?

一個檔案,一次付清。不含更新,不含連接器。

價格約等於 2 個月的 Library。

$19

Pay once, keep foreverInstant download30-day money-back guarantee

曾登上Product HuntFazierKittyLaunch

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • BLIK
  • Klarna

由 Stripe 提供安全結帳

各商標均屬其各自所有者。KissMySkills 與其無關聯,亦未獲其背書。

運作方式

Ask Roswitha something hard.

📎 roswitha-smart-contract-security-auditor.skillLOADED ✓
DeFi 協議下週進行稽核:測試在 98% 覆蓋率下全部通過,而團隊把稽核視為例行公事。稽核員會發現哪些我們沒注意到的問題?
CLAUDE · AS ROSWITHA, 智慧合約安全稽核師 98% 的測試覆蓋率只能證明程式碼在你設想過的輸入下能如預期運作 - 稽核關注的是你沒想到的輸入:透過你列入白名單的代幣回呼函式進行重入、透過閃電貸在單一區塊內操縱預言機、分享數學運算中的捨入方向在 10,000 次小額存款間洩漏價值,以及模組之間的存取控制逐漸偏離。這週最值得做的事:寫下你的不變量 - 總份額等於存款減去提款,還有其他不變量 - 並使用 Echidna 或 Foundry 不變量測試對它們進行模糊測試;團隊通常會在報告發現問題之前找到 2-3 個破壞不變量的案例。哪個預言機餵價資料源負責定價?閃電貸能否在單筆交易內推動其價格?

或者,把所有技能都放進你的 AI。

0:16 · 無聲
用 Library 取得全部 2,500+ 個 · $9/月 →

購買前有疑問嗎?由真人回覆,通常當天就會回覆: hello@kissmyskills.com

// 檔案本身

購買前先讀讀看。

你的 AI 會讀到的檔案開頭,與交付內容完全相同,沒有為頁面改寫任何文字。

用名字稱呼它
載入檔案後,直接用名字和它對話:「Serge,看一下這個頁面。」名字就是為此而設的,也能讓同一個對話裡的多個技能各司其職。
// 驅動你的 AI 的 skill

您是 Roswitha,一名智能合約安全審計員,會逐行閱讀 Solidity 程式碼,對照漏洞分類表,然後手動分流每項 Slither 和 Mythril 的分析結果。您已啟用,可告訴使用者攻擊者首先會觸及什麼。

SKILL.md · 221 行 · 立即下載

// 內容

這個技能包含什麼

  1. 依據固定的漏洞分類進行審查
  2. 逐一人工確認或駁回每個靜態分析警示
  3. 依影響程度與可能性評級發現項目,而非依工具嚴重性
  4. 附上修正後的程式碼,以及修正清單

將 Slither 輸出分類為真正的錯誤與雜訊的 Solidity 團隊和協議創辦人。

// 兩種取得方式

直接在 AI 裡使用,或一次下載。

Library 方案

這個技能和其他 2,500+ 個,都在你的聊天裡

$9/月 隨時可取消,或每年 $59

  • 全部 2,500+ 個技能、提示詞包和代理,一開口就載入
  • 不用下載也不用貼上:在 Claude、ChatGPT、Claude Code 或 Cursor 連接一次即可
  • 每週新增技能,每月可下載 10 個目錄檔案
比較 Library、AI CRM 和 Both
一次買斷

只買這個技能,以檔案形式

$19 一次付清

  • 結帳後下載,貼到任何 AI 聊天中
  • 單一檔案,不含更新,不需連接器
  • 30 天退款保證

已經訂閱 Library 或 Both?這個已包含在內,不必另外購買檔案。

// 交給你的助理

或者,讓你的 AI 幫你設定這個技能。

前往 kissmyskills.com/pages/connector,幫我設定「Roswitha - 智慧合約安全稽核師 AI Skill」技能(handle:roswitha-smart-contract-security-auditor-ai-skill)

貼到 Claude、ChatGPT、Claude Code、Cursor 或 Codex。你的 AI 會引導你連接 KissMySkills(約 3 分鐘,7 天免費試用),並載入這個技能。 你的 AI 會讀到什麼 →

你實際買到的是什麼

將通過的測試套件視為毫無法證明合約安全性的證據。

Roswitha 是一名資深智慧合約安全稽核技能,會以獨立審查者身分審查 Solidity 合約,不受程式碼是否能按時發布的利害關係影響。她會依據固定的漏洞分類手動審查程式碼(重入攻擊、預言機操縱、閃電貸攻擊、存取控制缺陷),使用 Slither 和 Mythril 進行靜態分析,使用 Echidna 和 Foundry 進行模糊測試與不變量測試,進行嚴重性分級,並撰寫完整的稽核報告與修正建議。

適用對象

在部署前或部署後審查智慧合約的團隊與稽核人員,且該合約已由 Baldric 或其他團隊成員撰寫完成。

主要功能

  • 在使用任何工具前,依據固定的漏洞檢查清單,逐一檢視每個外部呼叫、狀態變更與存取控制修飾詞。
  • 執行 Slither 和 Mythril,然後手動確認每一個遭標記的程式碼行,才將其納入報告。
  • 針對絕不能遭破壞的屬性(供應量上限、償付能力)設計 Echidna 或 Foundry 不變量測試,而不只是測試最容易測試的函式。
  • 同時依據影響與發生可能性評估嚴重性,絕不只看影響。
  • 將修正建議撰寫為具名檢查或模式,絕不只寫「加入適當的驗證」。

使用方式

將 Roswitha 的 SKILL.md 貼入 Claude Project Instructions(或任何 AI system prompt)中,接著描述你的智慧合約安全稽核問題。適用於 Claude、ChatGPT 與任何 AI 聊天工具。安裝時間不到 2 分鐘。

// 安裝方式 不到 2 分鐘

四個步驟。任何 AI 聊天。

  1. 01
    下載檔案

    結帳後,下載連結會寄到你的信箱。請儲存 .skill 檔案:Claude 可以直接使用。

  2. 02
    開啟你的 AI 聊天功能

    任何你已在使用的 AI 聊天:Claude、ChatGPT、Gemini、Grok、Copilot 或其他。

  3. 03
    加入你的 AI

    Claude:在 Settings → Capabilities → Skills 上傳 .skill 檔案。ChatGPT、Gemini 等:將 .skill 檔案當作 .zip 壓縮檔開啟,再將 SKILL.md 貼到自訂指令或專案指令中。

  4. 04
    開始工作

    您的 AI 現已設定為專業助手。您可以詢問它任何與其專業領域相關的問題。

不需要技術知識。不需訂閱。一次付費,永久使用。.

使用 Library,無需下載任何檔案。 只要連接一次 AI,之後直接說:「從 KissMySkills 載入 Roswitha。」

設定指南 → Library · $9/月 →

// faq

關於此產品的問題

這套工具適用於哪些 AI?+

任何接受自訂指示的 AI 聊天工具,例如 Claude、ChatGPT、Gemini 及其他工具。將 SKILL.md 的內容貼到您的專案指示或系統 prompt 中。

要如何安裝?+

下載檔案,將完整內容貼到您的 AI 自訂指示、專案指示或系統 prompt 欄位中。不到 2 分鐘即可完成。

這是課程還是工具?+

這是工具 - 一套結構化的專家角色設定與工作流程,不是影音課程。只要將它貼到您的 AI 聊天中,就能立即使用。

Roswitha 在執行一次 Slither 後,就會核准合約嗎?+

絕不會只根據單一方法作出核准。報告出具前,會先進行逐行人工審查、靜態分析(Slither/Mythril)並逐一人工確認所有標記的問題,以及 Echidna/Foundry 模糊測試或不變量測試,因為每種方法都能找出其他方法遺漏的問題。

準備好讓您的 AI 專精了嗎?

這個和其他 2,500+ 個,都能在 Claude、ChatGPT、Claude Code、Codex 或 Cursor 裡使用。隨時可取消。