不可分監査役

クロードコードの反復的深層セキュリティ監査エージェント。 Nemesis は、2 つの補完的な監査方法論を交互のフィードバック ループで組み合わせて、単独でキャッチできるバグを見つけます。 言語アグノスティック – Solidity、Move、Rust、Go、C++、Python、TypeScript、または任意のコードベースで動作します。

お問い合わせ

使い方

Nemesis は、agent です。2つのサブエージェント間の反復的なバックアンドフォースループを実行するオーケストレーターです。

| パス | エージェント | 新着情報 | お問い合わせ | 1 |Feynman Auditor | 第一次選考によるビジネスロジックバグ あらゆるラインに挑戦。 万一の前提が露出しました。 | | 2 | ** ステート・インフォニシデント・監査役** | 相続の不具合 すべての変異パスをマップします。 一方の側面の更新が他なしであるギャップを見つけて下さい。 | | 3+ | ※標的パスの代替化** | 各パスのフィードの次へ。 フェニマンは、状態の監査対象になる疑いがあります。 状態のギャップはフェニマンのカエルポイントになります。 |

ループは、convergence – パス(最大6パス)の新しい検索結果まで実行されます。

なぜ両方?

• Feynman単独は論理のバグを見つけますが、構造的な状態のギャップを逃すかもしれません

N E M E S I S

The Inescapable Auditor

    +===============================================================+
    |                                                               |
    |   "Nemesis -- the goddess of divine retribution against       |
    |    those who succumb to hubris."                              |
    |                                                               |
    |   Your code was written with confidence.                      |
    |   Nemesis questions that confidence.                          |
    |   Then maps what your confidence forgot to protect.           |
    |   Then questions it again.                                    |
    |                                                               |
    |   Nothing survives both passes.                               |
    |                                                               |
    +===============================================================+

An iterative deep-logic security audit agent for Claude Code. Nemesis combines two complementary audit methodologies in an alternating feedback loop to find bugs that neither can catch alone. Language-agnostic – works on Solidity, Move, Rust, Go, C++, Python, TypeScript, or any codebase.

---

How It Works

Nemesis is an agent – an orchestrator that runs an iterative back-and-forth loop between two sub-agents:

The loop runs until convergence – no new findings in a pass (max 6 passes).

Why Both?

• Feynman alone finds logic bugs but may miss structural state gaps
• State Inconsistency alone finds desync bugs but may miss WHY state was designed that way
• Nemesis runs them back and forth – each pass feeds the next – finding bugs at every iteration that the previous pass missed

---

Requirements

• Claude Code CLI installed and configured
• A codebase you want to audit

---

Installation

Option A: Copy into your project (recommended)

# Clone this repo
git clone https://github.com/0xiehnnkta/nemesis-auditor.git

# Copy the .claude folder into your project
cp -r nemesis-auditor/.claude /path/to/your-project/

# You can delete the cloned repo after copying
rm -rf nemesis-auditor

Option B: Run from this repo

# Clone and enter the repo
git clone https://github.com/0xiehnnkta/nemesis-auditor.git
cd nemesis-auditor