Defi Amm SecuritySAFE

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

The instruction file, verbatim from the audited commit — this is the text the model reads, and the surface the audit's instruction layer examines. Quoted here so you can judge it without cloning anything.

---
name: defi-amm-security
description: DeFi自動マーケットメーカー(AMM)スマートコントラクトセキュリティ監査パターン。フラッシュローン、スリッページ、サンドイッチング攻撃、価格操作、再入攻撃、不正確な整数演算をカバー。
origin: ECC
---

# DeFi AMM セキュリティ

自動マーケットメーカー(AMM)スマートコントラクトのセキュリティパターンと監査チェックリスト。

## 使用時期

- Uniswap、Curve、BalancerなどのようなAMMコントラクトをレビュー
- スワップ関数、ミント、バーンロジックでセキュリティの問題を検出
- フラッシュローン、価格操作脆弱性を特定
- DeFiプロトコルの経済セキュリティをテスト

## 一般的な脆弱性

### 1. フラッシュローン攻撃

ローンが同一ブロック内で返却されたと仮定するコントラクトを攻撃。

### 2. スリッページ不足

ユーザーが予期しない不利な価格変更を受ける。

### 3. 再入攻撃

外部呼び出し後の状態チェック。

### 4. 価格操作

オンチェーン価格参照の信頼不足。

## セキュリティチェックリスト

- [ ] すべての価格参照はオラクルから取得
- [ ] フラッシュローンは考慮(価格を信頼しない)
- [ ] スリッページ保護が実装
- [ ] チェック・エフェクト・相互作用パターン使用
- [ ] 再入保護(ミューテックス/チェック付き)
- [ ] 整数オーバーフロー/アンダーフロー処理
- [ ] アクセス制御とロール分離

詳細については、ドキュメントを参照してください。

SAFEgrade B · trust 89/100 Nothing in the source contradicts what it says it does. Grade A is reserved for packages that have also passed the behavioural sandbox.

What the source does

Filesystem

none-observed

Network

none-observed

Shell

none-observed

Dependencies

pinned

Secrets in source

none-found

Findings (0)

No findings outside the package's declared scope.

Gates applied: no_behavioural_pass.