0N

0xiehnnkta/nemesis-auditor

Developer tools

이 페이지는 AI로 자동 번역되었습니다. 기술적인 세부 사항은 원문을 확인하세요. 원문 보기

249 stars 품질 51 트렌드 18MIT

0xiehnnkta/nemesis-auditor는 [T0]]에서 수입된 대리인 기술 후보입니다

개요

0xiehnnkta/nemesis-auditor는 [T0]]에서 수입된 대리인 기술 후보입니다

개요(AI 번역)

Inescapable 감사

Claude Code에 대한 강력한 딥 로직 보안 감사 에이전트. Nemesis는 혼자 잡을 수없는 버그를 찾을 수있는 변경 피드백 루프에서 두 가지 보완 감사 방법론을 결합합니다. Language-agnostic – Solidity, Move, Rust, Go, C++, Python, TypeScript 또는 codebase에서 동작합니다.


그것이 작동하는 방법

Nemesis는 ** 시약 ** – 두 개의 하위 시약 사이의 침착한 백-및 루프를 실행하는 오케스트라 :

패스 에이전트 찾기
1 Feynman Auditor 첫 번째 선구자를 통해 비즈니스 논리 버그. 모든 선 도전. 모든 가정 노출.
2 State Inconsistency Auditor 두 번째 state desync 버그. 지도 모든 mutation 경로. 다른 한쪽 업데이트가없는 격차를 찾습니다.
3+ ** 대상 패스 ** 각 패스 피드를 다음으로 검색합니다. Feynman은 국가 감사 목표가 될 것입니다. 국가 격차는 Feynman 간구 점이 된다.

루프는 ** convergence**까지 실행됩니다. – 패스의 새로운 발견 없음 (최대 6 패스).

왜 둘 다?

  • ** Feynman 혼자 ** 논리 버그를 발견하지만 구조적 인 국가 간격을 놓칠 수 있습니다

이 페이지는 AI로 자동 번역되었습니다. 기술적인 세부 사항은 원문을 확인하세요.

README

원문 README의 일부입니다. 원문 보기.

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:

Pass Agent What It Finds
1 Feynman Auditor Business logic bugs via first-principles questioning. Every line challenged. Every assumption exposed.
2 State Inconsistency Auditor Coupled state desync bugs. Maps every mutation path. Finds gaps where one side updates without the other.
3+ Alternating targeted passes Each pass feeds findings into the next. Feynman suspects become state audit targets. State gaps become Feynman interrogation points.

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

# 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
GitHub에서 전체 README 보기

추천 도구

다른 키워드를 입력하거나 필터를 제거해 보세요.

설치

npx skillfish add 0xiehnnkta/nemesis-auditor
MCP 초보자라면? mcpskill.org 가이드부터 시작하세요 →