tradecatlabs

数学の命題や証明草稿を点検し、仮定・補題・証明すべき事項を整理するスキル。反例や境界条件も調べ、証明の穴や条件不足を明示した、検討経過を追える草稿にまとめます。

• 数学の証明草稿の穴を埋めたいとき
• 命題と補題の依存関係の整理
• 反例や境界条件を調べたいとき

Web3の脆弱性候補を、再現手順・対象範囲・攻撃コスト・既知問題から確認します。実証コードや被害額、修正案を整理し、Immunefi向けの報告書にまとめます。

• 脆弱性を提出できるか確認したいとき
• Immunefi向けの報告書作成
• 実証コードと被害の数値を見直すとき

スマートコントラクト監査の進め方を、脅威の整理から静的解析、入力を変える反復テスト、手動レビューまで案内します。攻撃パターンの検討や段階的な学習にも使えます。

• スマートコントラクト監査の計画
• EchidnaやMedusaのテスト準備
• 攻撃パターンや過去の監査を学ぶとき

ZKsync Eraの調査で報告可能な脆弱性が見つからなかった記録から、防御設計を学ぶスキル。25の攻撃経路と阻止要因を整理し、調査継続の判断にも役立てます。

• ZKsync Eraの防御設計を学びたいとき
• 25の攻撃経路の阻止要因の確認
• 大規模ブリッジの調査継続の判断

DeFiのスマートコントラクトを脆弱性の種類ごとに点検するための参照スキル。状態更新の不整合や権限漏れなどを、コード例・検索パターン・修正例から調べます。

• 状態更新の不整合や権限漏れの点検
• 通常処理と別経路を比較したいとき
• 期限や配列の境界条件の確認

スマートコントラクトの脆弱性をFoundryの実行可能なテストで再現し、前後の残高や検証結果を示します。フォーク設定や既知のDeFi被害の学習にも使えます。

• 脆弱性報告用の再現コード作成
• 固定ブロックで問題を再現したいとき
• 呼び出し元や時刻や残高の制御

散らばった数式や理論メモを、対象・記号・仮定が一貫した導出手順に整理し、恒等式と近似を区別しながら、隠れた条件や途中の論理を確認するスキル。

• 散らばった数式と理論メモの整理
• 代数的な恒等式の導出を追いたいとき
• 近似の適用条件と誤差の整理

数学研究で何から進めるべきか迷ったときに、問題設定・文献調査・導出・計算・証明・形式化のどこが詰まっているかを整理し、担当スキルを一つ選びます。

• 開かれた数学問題の着手点を決めたいとき
• 論文・数式・コードが混ざった依頼の整理
• 導出・計算・証明・形式化の選択

数学の漠然とした関心を調査可能な問いに整理し、定義や定理の先行研究を探して、出典付きの関係図と未解決点、検証可能な予想候補をまとめます。

• 定理の変種と先行研究を調べたいとき
• 整数列に関する既存研究の確認
• 研究課題の検索語と範囲の整理

Web3の脆弱性調査に使うAIツールを、Web画面・API・Solidityなどの対象別に選び、設定例を案内します。事前調査から指摘の検証、実証コード作成までを支援します。

• 調査対象に合うAIツールを選ぶとき
• WebアプリやAPIの事前調査の自動化
• Solidityの検査と実証コードの準備

Web3のバグ報奨金調査を始める際に、対象の優先順位付け、解析環境の準備、資金の流れや過去の監査の確認を進め、詳しく調べる箇所を絞るスキル。

• 報奨金調査の対象を選びたいとき
• ビルド・テスト・解析環境の準備
• 資金の流れと重点調査箇所の整理

数式の簡約や微積分、行列計算、有限範囲の反例探索を行い、条件・手順・結果を記録します。厳密計算と高精度の数値計算を使い分け、再実行できる計算証拠をまとめます。

• 恒等式や積分を厳密に確認したいとき
• 指定範囲で反例を探したいとき
• 数値結果を高精度で照合したいとき

Foundryで開発したSolidityコントラクトを公開前に監査し、複数の解析とテスト、秘密鍵管理の確認から、修正点とデプロイ可否をまとめます。

• 公開前のSolidityコントラクト監査
• 資金移動処理のファズ・不変条件テスト
• 秘密鍵の保管とデプロイ手順の点検

スマートコントラクト監査の初期調査で、10分類のgrep検索から要確認箇所を拾い、優先順位を付けます。DeFiの仕組み別の検索例も参照できます。

• 監査前に確認箇所を把握したいとき
• 特定の脆弱性分類を探したいとき
• 疑わしいコードの優先順位付け

Solidityの監査ツールをClaude Codeにつなぎ、検出結果を重複除去して重大度順に整理します。変更差分の監査やテスト生成にも使えます。

• 複数のSolidity解析結果の集約
• コントラクト更新時の差分監査
• Foundryの不変条件テスト生成

Web3のスマートコントラクト監査を学ぶ資料の入口として、基礎、脆弱性検索、再現テスト、報告、実例、ツール連携を読む順番と参照先を案内します。

• スマートコントラクト監査の学習開始
• 調査準備から報告まで順に学びたいとき
• 監査の実例を探したいとき

DeFiの利回り集約プロトコルを題材に、権限の付与漏れや少額報酬による処理停止を調べ、再現テストと報告書の作成手順を学ぶ事例集です。

• 報酬配布の権限付与漏れを調べたいとき
• 少額報酬による処理停止の検証
• 脆弱性の再現テストと報告書の作成

SolidityのスマートコントラクトをSlitherとMythrilで解析します。再入攻撃や権限管理などの脆弱性を調べ、重要度と修正案を監査レポートにまとめるスキル。

• 公開前のSolidityコード点検
• 再入攻撃や権限管理の弱点を調べたいとき
• SlitherとMythrilの結果統合

自然言語の数学命題をLean 4で扱う定義や補題に分け、証明の機械検証と元の命題への忠実性を別々に確認し、検証結果と根拠を記録します。

• 重要な補題をLean 4で検証したいとき
• 定理を定義と補題に分解
• 証明の穴や未承認の公理を点検

ドキュメントやAPI、コード、仕様書から再利用できるスキルを作り、既存スキルの長い説明や曖昧な起動条件を整理して品質を点検します。

• 資料やコードからスキルを作りたいとき
• 長すぎるSKILL.mdの整理
• スキルの起動条件を明確にしたいとき

tmuxの端末出力の確認、キー送信、一括点検、ログ記録を自動化し、複数のAI端末で進める作業のタスクや状態、ファイルの利用ロックを管理するスキル。

• 複数のAI端末の出力とエラーの点検
• 確認待ちで止まった処理を再開したいとき
• AI間のタスクとファイルロックの管理